vcpu_el2_tge_is_set
if (vcpu_is_el2(vcpu) && vcpu_el2_e2h_is_set(vcpu) && !vcpu_el2_tge_is_set(vcpu))
return vcpu_el2_tge_is_set(vcpu) && !vcpu_is_el2(vcpu);
!(vcpu_el2_e2h_is_set(vcpu) && vcpu_el2_tge_is_set(vcpu)));
vcpu_el2_tge_is_set(vcpu)) ? TR_EL20 : TR_EL10;
(vcpu_el2_tge_is_set(vcpu) && (mode == PSR_MODE_EL1t ||
vcpu_el2_tge_is_set(vcpu));
if (vcpu_is_el2(vcpu) && !vcpu_el2_tge_is_set(vcpu) &&
if (!(vcpu_el2_e2h_is_set(vcpu) && vcpu_el2_tge_is_set(vcpu)))
vcpu_el2_e2h_is_set(vcpu) && vcpu_el2_tge_is_set(vcpu)) ||
if (vcpu_el2_e2h_is_set(vcpu) && vcpu_el2_tge_is_set(vcpu) &&
return !(vcpu_el2_tge_is_set(vcpu) || vcpu_el2_amo_is_set(vcpu));
return vcpu_el2_tge_is_set(vcpu) ? PSR_MODE_EL2h : PSR_MODE_EL1h;
if (vcpu_el2_e2h_is_set(vcpu) && vcpu_el2_tge_is_set(vcpu)) {