TianoCore EDK2 master
|
#include <MdePkg/Include/Register/Intel/Msr/Pentium4Msr.h>
Data Fields | |
struct { | |
UINT32 Reserved1: 18 | |
UINT32 PLATFORM: 1 | |
UINT32 Reserved2: 13 | |
UINT32 Reserved3: 32 | |
} | Bits |
UINT32 | Uint32 |
UINT64 | Uint64 |
MSR information returned for MSR index MSR_PENTIUM_4_PLATFORM_BRV
Definition at line 1007 of file Pentium4Msr.h.
struct { ... } MSR_PENTIUM_4_PLATFORM_BRV_REGISTER::Bits |
Individual bit fields
UINT32 MSR_PENTIUM_4_PLATFORM_BRV_REGISTER::PLATFORM |
[Bit 18] PLATFORM Requirements When set to 1, indicates the processor has specific platform requirements. The details of the platform requirements are listed in the respective data sheets of the processor.
Definition at line 1018 of file Pentium4Msr.h.
UINT32 MSR_PENTIUM_4_PLATFORM_BRV_REGISTER::Reserved1 |
Definition at line 1012 of file Pentium4Msr.h.
UINT32 MSR_PENTIUM_4_PLATFORM_BRV_REGISTER::Reserved2 |
Definition at line 1019 of file Pentium4Msr.h.
UINT32 MSR_PENTIUM_4_PLATFORM_BRV_REGISTER::Reserved3 |
Definition at line 1020 of file Pentium4Msr.h.
UINT32 MSR_PENTIUM_4_PLATFORM_BRV_REGISTER::Uint32 |
All bit fields as a 32-bit value
Definition at line 1025 of file Pentium4Msr.h.
UINT64 MSR_PENTIUM_4_PLATFORM_BRV_REGISTER::Uint64 |
All bit fields as a 64-bit value
Definition at line 1029 of file Pentium4Msr.h.