/qemu/include/hw/xen/