/OvmfPkg/ResetVector/Ia32/

• ../
• AmdSev.asm
• Flat32ToFlat64.asm
• IntelTdx.asm
• PageTables64.asm