TianoCore EDK2 master
|
#include <UefiCpuPkg/Library/CpuPageTableLib/CpuPageTable.h>
Data Fields | |
struct { | |
UINT32 Present: 1 | |
UINT32 ReadWrite: 1 | |
UINT32 UserSupervisor: 1 | |
UINT32 WriteThrough: 1 | |
UINT32 CacheDisabled: 1 | |
UINT32 Accessed: 1 | |
UINT32 Dirty: 1 | |
UINT32 Pat: 1 | |
UINT32 Global: 1 | |
UINT32 Available1: 3 | |
UINT32 PageTableBaseAddressLow: 20 | |
UINT32 PageTableBaseAddressHigh: 20 | |
UINT32 Available3: 7 | |
UINT32 ProtectionKey: 4 | |
UINT32 Nx: 1 | |
} | Bits |
UINT64 | Uint64 |
Format of a Page-Table Entry that Maps a 4-KByte Page
Definition at line 127 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::Accessed |
Definition at line 134 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::Available1 |
Definition at line 138 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::Available3 |
Definition at line 142 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::CacheDisabled |
Definition at line 133 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::Dirty |
Definition at line 135 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::Global |
Definition at line 137 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::Nx |
Definition at line 144 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::PageTableBaseAddressHigh |
Definition at line 141 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::PageTableBaseAddressLow |
Definition at line 139 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::Pat |
Definition at line 136 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::Present |
Definition at line 129 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::ProtectionKey |
Definition at line 143 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::ReadWrite |
Definition at line 130 of file CpuPageTable.h.
UINT64 IA32_PTE_4K::Uint64 |
Definition at line 146 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::UserSupervisor |
Definition at line 131 of file CpuPageTable.h.
UINT32 IA32_PTE_4K::WriteThrough |
Definition at line 132 of file CpuPageTable.h.