trans_exc_ending
return trans_exc_ending(vcpu, code, gva, ar, mode, prot, false);
rc = trans_exc_ending(vcpu, rc, ga, ar, mode, prot, terminate);