VMCS_INSTRUCTION_ERROR
#define vmcs_instruction_error() vmcs_read(VMCS_INSTRUCTION_ERROR)
error = vm_get_vmcs_field(vcpu, VMCS_INSTRUCTION_ERROR,