Searched refs:psm_send_ipi (Results 1 – 5 of 5) sorted by relevance
160 void (*psm_send_ipi)(processorid_t cpun, int ipl); member293 void (*psm_send_ipi)(processorid_t cpun, int ipl); member
1481 pops->psm_send_ipi = apic_common_send_ipi; in apic_switch_ipi_callback()1482 send_dirintf = pops->psm_send_ipi; in apic_switch_ipi_callback()1489 pops->psm_send_ipi = x2apic_send_ipi; in apic_switch_ipi_callback()1490 send_dirintf = pops->psm_send_ipi; in apic_switch_ipi_callback()
1334 pops->psm_send_ipi = x2apic_send_ipi; in x2apic_update_psm()1335 send_dirintf = pops->psm_send_ipi; in x2apic_update_psm()
1114 pops->psm_send_ipi = x2apic_send_ipi; in x2apic_update_psm()1116 send_dirintf = pops->psm_send_ipi; in x2apic_update_psm()
1093 send_dirintf = pops->psm_send_ipi; in mach_smpinit()