lapic_x2apic_enter
lapic_x2apic_enter(TRUE);
void lapic_x2apic_enter(boolean_t);
lapic_x2apic_enter(FALSE);