xref: /openbmc/qemu/target/i386/whpx/whpx-internal.h (revision 5a5110d2)