Symbol: EVTCHN_TYPE_IPI
sys/dev/xen/bus/xen_intr.c
1022
isrc->xi_type == EVTCHN_TYPE_IPI,
sys/dev/xen/bus/xen_intr.c
1094
[EVTCHN_TYPE_IPI] = "IPI",
sys/dev/xen/bus/xen_intr.c
557
case EVTCHN_TYPE_IPI:
sys/dev/xen/bus/xen_intr.c
676
(isrc->xi_type == EVTCHN_TYPE_IPI)) {
sys/dev/xen/bus/xen_intr.c
940
error = xen_intr_bind_isrc(&isrc, bind_ipi.port, EVTCHN_TYPE_IPI,