Searched refs:EFI_PML4_ENTRY_NUM (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenPage/
H A DGenPage.c48 #define EFI_PML4_ENTRY_NUM 1 macro
53 #define EFI_PDPTE_PAGE_NUM EFI_PML4_ENTRY_NUM
54 #define EFI_PDE_PAGE_NUM (EFI_PML4_ENTRY_NUM * EFI_PDPTE_ENTRY_NUM)
167 for (PML4Index = 0; PML4Index < EFI_PML4_ENTRY_NUM; PML4Index++, PageMapLevel4Entry++) {

Completed in 72 milliseconds