X2APIC_DISABLED
err = vm_set_x2apic_state(vcpu, X2APIC_DISABLED);
err = vm_set_x2apic_state(vcpu, X2APIC_DISABLED);
if (state == X2APIC_DISABLED)
(void) vm_set_x2apic_state(vm, vcpu_id, X2APIC_DISABLED);
if (x2apic_state != X2APIC_DISABLED)