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