Searched refs:xen_bind_ipi (Results 1 – 1 of 1) sorted by relevance
274 xen_bind_ipi(processorid_t cpu) in xen_bind_ipi() function727 evtchn = xen_bind_ipi(cpu); in ec_bind_ipi_to_irq()1156 evtchn = xen_bind_ipi(i); in ipi_resume()