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