Home
last modified time | relevance | path

Searched refs:Page4K (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/edk2/UefiCpuPkg/PiSmmCpuDxeSmm/
DSmmCpuMemoryManagement.c27 {Page4K, SIZE_4KB, PAGING_4K_ADDRESS_MASK_64},
153 *PageAttribute = Page4K; in GetPageTableEntry()
264 return Page4K; in NeedSplitPage()
298 ASSERT (SplitAttribute == Page4K); in SplitPage()
299 if (SplitAttribute == Page4K) { in SplitPage()
319 ASSERT (SplitAttribute == Page2M || SplitAttribute == Page4K); in SplitPage()
320 if ((SplitAttribute == Page2M || SplitAttribute == Page4K)) { in SplitPage()
DPiSmmCpuDxeSmm.h108 Page4K, enumerator