Searched refs:psm_send_ipi (Results 1 – 3 of 3) sorted by relevance
161 void (*psm_send_ipi)(processorid_t cpun, int ipl); member298 void (*psm_send_ipi)(processorid_t cpun, int ipl); member
1089 pops->psm_send_ipi = x2apic_send_ipi; in x2apic_update_psm()1090 send_dirintf = pops->psm_send_ipi; in x2apic_update_psm()2551 pops->psm_send_ipi = apic_common_send_ipi; in apic_switch_ipi_callback()2552 send_dirintf = pops->psm_send_ipi; in apic_switch_ipi_callback()2561 pops->psm_send_ipi = x2apic_send_ipi; in apic_switch_ipi_callback()2562 send_dirintf = pops->psm_send_ipi; in apic_switch_ipi_callback()
1104 send_dirintf = pops->psm_send_ipi; in mach_smpinit()