Searched refs:x2apic_send_pir_ipi (Results 1 – 3 of 3) sorted by relevance
223 x2apic_send_pir_ipi(processorid_t cpun) in x2apic_send_pir_ipi() function289 x2apic_send_pir_ipi(cpun); in apic_common_send_pir_ipi()
1092 pops->psm_send_pir_ipi = x2apic_send_pir_ipi; in x2apic_update_psm()2563 pops->psm_send_pir_ipi = x2apic_send_pir_ipi; in apic_switch_ipi_callback()
830 extern void x2apic_send_pir_ipi(processorid_t);