/src/VBox/Devices/EFI/Firmware/MdePkg/Include/X64/
../
Nasm.inc
ProcessorBind.h