Searched refs:ec_send_ipi (Results 1 – 3 of 3) sorted by relevance
164 extern void ec_send_ipi(int, int);
310 ec_send_ipi(ipl, cpun); in xen_psm_send_ipi()
793 ec_send_ipi(int ipl, int cpu) in ec_send_ipi() function