/roms/edk2/UefiCpuPkg/CpuDxe/X64/

• ../
• CpuAsm.nasm
• PagingAttribute.c