|
TianoCore EDK2 master
|
#include <MdePkg/Include/Register/Intel/ArchitecturalMsr.h>
Data Fields | |
| struct { | |
| UINT32 Reserved: 5 | |
| UINT32 Cr3: 27 | |
| UINT32 Cr3Hi: 32 | |
| } | Bits |
| UINT64 | Uint64 |
MSR information returned for MSR index MSR_IA32_RTIT_CR3_MATCH
Definition at line 4725 of file ArchitecturalMsr.h.
| struct { ... } MSR_IA32_RTIT_CR3_MATCH_REGISTER::Bits |
Individual bit fields
| UINT32 MSR_IA32_RTIT_CR3_MATCH_REGISTER::Cr3 |
[Bits 31:5] CR3[63:5] value to match.
Definition at line 4734 of file ArchitecturalMsr.h.
| UINT32 MSR_IA32_RTIT_CR3_MATCH_REGISTER::Cr3Hi |
[Bits 63:32] CR3[63:5] value to match.
Definition at line 4738 of file ArchitecturalMsr.h.
| UINT32 MSR_IA32_RTIT_CR3_MATCH_REGISTER::Reserved |
Definition at line 4730 of file ArchitecturalMsr.h.
| UINT64 MSR_IA32_RTIT_CR3_MATCH_REGISTER::Uint64 |
All bit fields as a 64-bit value
Definition at line 4743 of file ArchitecturalMsr.h.