qemu/include/hw/arm/xen_arch_hvm.h