x2apic_hw_locked
if (x2apic_hw_locked()) {
if (x2apic_state != X2APIC_ON_LOCKED && x2apic_hw_locked())
if (x2apic_hw_locked())