xref: /openbmc/qemu/hw/xen/xen_pt_config_init.c (revision 48e438a3)