audk/DuetPkg/DxeIpl/X64
..
EnterDxeCore.c
Paging.c
VirtualMemory.h