Symbol: apic_cpu_send_SIPI
usr/src/uts/i86pc/io/pcplusmp/apic_common.c
534
apic_cpu_send_SIPI(cpun, B_TRUE);
usr/src/uts/i86pc/io/pcplusmp/apic_common.c
579
apic_cpu_send_SIPI(cpun, B_FALSE);