|
TianoCore EDK2 master
|
#include <MdePkg/Include/Register/Intel/ArchitecturalMsr.h>
Data Fields | |
| struct { | |
| UINT32 Reserved: 7 | |
| UINT32 Base: 25 | |
| UINT32 BaseHi: 32 | |
| } | Bits |
| UINT64 | Uint64 |
MSR information returned for MSR index MSR_IA32_RTIT_OUTPUT_BASE
Definition at line 4370 of file ArchitecturalMsr.h.
| UINT32 MSR_IA32_RTIT_OUTPUT_BASE_REGISTER::Base |
[Bits 31:7] Base physical address.
Definition at line 4379 of file ArchitecturalMsr.h.
| UINT32 MSR_IA32_RTIT_OUTPUT_BASE_REGISTER::BaseHi |
[Bits 63:32] Base physical address.
Definition at line 4383 of file ArchitecturalMsr.h.
| struct { ... } MSR_IA32_RTIT_OUTPUT_BASE_REGISTER::Bits |
Individual bit fields
| UINT32 MSR_IA32_RTIT_OUTPUT_BASE_REGISTER::Reserved |
Definition at line 4375 of file ArchitecturalMsr.h.
| UINT64 MSR_IA32_RTIT_OUTPUT_BASE_REGISTER::Uint64 |
All bit fields as a 64-bit value
Definition at line 4388 of file ArchitecturalMsr.h.