VMCS_EXIT_INTR_ERRCODE
error = vm_get_vmcs_field(vcpu, VMCS_EXIT_INTR_ERRCODE,
errcode = vmcs_read(VMCS_EXIT_INTR_ERRCODE);