/DuetPkg/DxeIpl/X64/

• ../
• CpuIoAccess.asm
• EnterDxeCore.asm
• Paging.c
• VirtualMemory.h