Home
last modified time | relevance | path

Searched refs:EVTCHN_TYPE_IPI (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/dev/xen/bus/
H A Dxen_intr.c559 case EVTCHN_TYPE_IPI: in xen_intr_rebind_isrc()
678 (isrc->xi_type == EVTCHN_TYPE_IPI)) { in xen_intr_assign_cpu()
942 error = xen_intr_bind_isrc(&isrc, bind_ipi.port, EVTCHN_TYPE_IPI, in xen_intr_alloc_and_bind_ipi()
1024 isrc->xi_type == EVTCHN_TYPE_IPI, in xen_intr_signal()
1096 [EVTCHN_TYPE_IPI] = "IPI", in xen_intr_print_type()
H A Dintr-internal.h46 EVTCHN_TYPE_IPI, enumerator