Searched refs:psm_send_pir_ipi (Results 1 – 5 of 5) sorted by relevance
78 extern void (*psm_send_pir_ipi)(processorid_t); /* send PIR ipi */
196 void (*psm_send_pir_ipi)(processorid_t cpu); member
1092 pops->psm_send_pir_ipi = x2apic_send_pir_ipi; in x2apic_update_psm()1093 psm_send_pir_ipi = pops->psm_send_pir_ipi; in x2apic_update_psm()2553 pops->psm_send_pir_ipi = apic_common_send_pir_ipi; in apic_switch_ipi_callback()2554 psm_send_pir_ipi = pops->psm_send_pir_ipi; in apic_switch_ipi_callback()2563 pops->psm_send_pir_ipi = x2apic_send_pir_ipi; in apic_switch_ipi_callback()2564 psm_send_pir_ipi = pops->psm_send_pir_ipi; in apic_switch_ipi_callback()
153 void (*psm_send_pir_ipi)(processorid_t) = NULL; variable1175 psm_send_pir_ipi = pops->psm_send_pir_ipi; in mach_smpinit()
602 psm_send_pir_ipi != NULL) { in vmx_init()3669 psm_send_pir_ipi(hostcpu); in vmx_apicv_notify()