/src/arch/x86/include/ipxe/efi/
../
efix86_nap.h