apic_switch_ipi_callback
apic_switch_ipi_callback(B_FALSE);
apic_switch_ipi_callback(B_TRUE);
extern void apic_switch_ipi_callback(boolean_t enter);