/OvmfPkg/ResetVector/Ia32/

• ../
• Flat32ToFlat64.asm
• PageTables64.asm