/qemu/roms/ipxe/src/include/xen/arch-x86/