Searched refs:apic_common_send_ipi (Results 1 – 3 of 3) sorted by relevance
382 apic_common_send_ipi(int cpun, int ipl) in apic_common_send_ipi() function
1481 pops->psm_send_ipi = apic_common_send_ipi; in apic_switch_ipi_callback()
873 extern void apic_common_send_ipi(int, int);