Searched refs:send_dirintf (Results 1 – 4 of 4) sorted by relevance
55 extern void (*send_dirintf)(); /* send interprocessor intr */
123 void (*send_dirintf)() = return_instr; variable1104 send_dirintf = pops->psm_send_ipi; in mach_smpinit()
1582 (*send_dirintf)(cpuid, int_level); in send_dirint()
1090 send_dirintf = pops->psm_send_ipi; in x2apic_update_psm()2552 send_dirintf = pops->psm_send_ipi; in apic_switch_ipi_callback()2562 send_dirintf = pops->psm_send_ipi; in apic_switch_ipi_callback()