Searched refs:ec_bind_ipi_to_irq (Results 1 – 3 of 3) sorted by relevance
158 extern int ec_bind_ipi_to_irq(int, int);
717 ec_bind_ipi_to_irq(int ipl, int cpu) in ec_bind_ipi_to_irq() function761 (void) ec_bind_ipi_to_irq(i, cpu); in ec_bind_cpu_ipis()
461 return (ec_bind_ipi_to_irq(ipl, 0)); in xen_psm_get_ipivect()