/roms/edk2/OvmfPkg/Sec/X64/

• ../
• SecEntry.nasm