Symbol: XEN_MAGIC_IOPORT
sys/x86/xen/hvm.c
406
if (inw(XEN_MAGIC_IOPORT) != XMI_MAGIC)
sys/x86/xen/hvm.c
421
outw(XEN_MAGIC_IOPORT, disable_devs);