TianoCore EDK2 master
|
#include <UefiCpuPkg/Library/CpuPageTableLib/CpuPageTable.h>
Data Fields | |
struct { | |
UINT32 Present: 1 | |
UINT32 MustBeZero: 2 | |
UINT32 WriteThrough: 1 | |
UINT32 CacheDisabled: 1 | |
UINT32 MustBeZero2: 4 | |
UINT32 Available: 3 | |
UINT32 PageTableBaseAddressLow: 20 | |
UINT32 PageTableBaseAddressHigh: 20 | |
UINT32 MustBeZero3: 12 | |
} | Bits |
UINT64 | Uint64 |
Format of a Page-Directory-Pointer-Table Entry (PDPTE) that References a Page Directory (32bit PAE specific)
Definition at line 153 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::Available |
Definition at line 160 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::CacheDisabled |
Definition at line 158 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::MustBeZero |
Definition at line 156 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::MustBeZero2 |
Definition at line 159 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::MustBeZero3 |
Definition at line 164 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::PageTableBaseAddressHigh |
Definition at line 163 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::PageTableBaseAddressLow |
Definition at line 161 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::Present |
Definition at line 155 of file CpuPageTable.h.
UINT64 IA32_PDPTE_PAE::Uint64 |
Definition at line 166 of file CpuPageTable.h.
UINT32 IA32_PDPTE_PAE::WriteThrough |
Definition at line 157 of file CpuPageTable.h.