Symbol: XEN_IPI_GENERIC
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
343
if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {
sys/arch/xen/x86/xen_ipi.c
347
xen_broadcast_ipi(XEN_IPI_GENERIC);