Searched refs:EVTCHN_TYPE_IPI (Results 1 – 2 of 2) sorted by relevance
559 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,1096 [EVTCHN_TYPE_IPI] = "IPI", in xen_intr_dump_port()
46 EVTCHN_TYPE_IPI, enumerator