xref: /openbmc/qemu/include/hw/arm/xen_arch_hvm.h (revision dbdf841b)