/src/VBox/Devices/EFI/Firmware/OvmfPkg/ResetVector/Ia32/
../
Flat32ToFlat64.asm
PageTables64.asm