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

/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenPage/
H A DGenPage.c145 X64_PAGE_MAP_AND_DIRECTORY_POINTER_2MB_4K *PageMapLevel4Entry;
146 X64_PAGE_MAP_AND_DIRECTORY_POINTER_2MB_4K *PageDirectoryPointerEntry;
165 PageMapLevel4Entry = (X64_PAGE_MAP_AND_DIRECTORY_POINTER_2MB_4K *)PageTablePtr;
172 PageDirectoryPointerEntry = (X64_PAGE_MAP_AND_DIRECTORY_POINTER_2MB_4K *)PageTablePtr;
H A DVirtualMemory.h54 } X64_PAGE_MAP_AND_DIRECTORY_POINTER_2MB_4K; typedef in typeref:union:__anon10018

Completed in 815 milliseconds