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