VM_GET_X2APIC_STATE
{ (uint_t)VM_GET_X2APIC_STATE, "VM_GET_X2APIC_STATE", NULL },
error = vcpu_ioctl(vcpu, VM_GET_X2APIC_STATE, &x2apic);
VM_SET_X2APIC_STATE, VM_GET_X2APIC_STATE,
case VM_GET_X2APIC_STATE: {
case VM_GET_X2APIC_STATE: