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

/freebsd-11.0-release/sys/xen/evtchn/
H A Devtchnvar.h44 EVTCHN_TYPE_IPI, enumerator in enum:evtchn_type
/freebsd-11.0-release/sys/x86/xen/
H A Dxen_intr.c775 case EVTCHN_TYPE_IPI:
889 (isrc->xi_type == EVTCHN_TYPE_IPI)) {
1350 error = xen_intr_bind_isrc(&isrc, bind_ipi.port, EVTCHN_TYPE_IPI,
1524 isrc->xi_type == EVTCHN_TYPE_IPI,
1574 [EVTCHN_TYPE_IPI] = "IPI",

Completed in 103 milliseconds