Symbol: XEN_IPI_XCALL
sys/arch/xen/x86/xen_ipi.c
155
uint32_t masks = XEN_IPI_GENERIC | XEN_IPI_HVCB | XEN_IPI_XCALL |
sys/arch/xen/x86/xen_ipi.c
329
if (0 != xen_send_ipi(ci, XEN_IPI_XCALL)) {
sys/arch/xen/x86/xen_ipi.c
333
xen_broadcast_ipi(XEN_IPI_XCALL);