/src/VBox/Devices/EFI/Firmware/OvmfPkg/Sec/Ia32/
../
SecEntry.S
SecEntry.asm