Symbol: XEN_IPI_HVCB
sys/arch/xen/x86/hypervisor_machdep.c
418
if (xen_send_ipi(ci, XEN_IPI_HVCB)) {
sys/arch/xen/x86/xen_ipi.c
155
uint32_t masks = XEN_IPI_GENERIC | XEN_IPI_HVCB | XEN_IPI_XCALL |