/src/VBox/Devices/EFI/Firmware/OvmfPkg/Sec/Ia32/

• ../
• SecEntry.S
• SecEntry.asm