Searched refs:apic_common_send_pir_ipi (Results 1 – 3 of 3) sorted by relevance
284 apic_common_send_pir_ipi(processorid_t cpun) in apic_common_send_pir_ipi() function
2553 pops->psm_send_pir_ipi = apic_common_send_pir_ipi; in apic_switch_ipi_callback()
877 extern void apic_common_send_pir_ipi(processorid_t);