VMCS_INSTRUCTION_ERROR
error = vm_get_vmcs_field(vcpu, VMCS_INSTRUCTION_ERROR,
vmexit->u.vmx.inst_error = vmcs_read(VMCS_INSTRUCTION_ERROR);