vcpu_el2_e2h_is_set
if (vcpu_is_el2(vcpu) && vcpu_el2_e2h_is_set(vcpu) && !vcpu_el2_tge_is_set(vcpu))
if (!vcpu_el2_e2h_is_set(vcpu))
if (vcpu_el2_e2h_is_set(vcpu))
if (!vcpu_el2_e2h_is_set(vcpu))
!(vcpu_el2_e2h_is_set(vcpu) && vcpu_el2_tge_is_set(vcpu)));
if (!vcpu_el2_e2h_is_set(vcpu))
wi.regime = vcpu_el2_e2h_is_set(vcpu) ? TR_EL20 : TR_EL2;
return vcpu_el2_e2h_is_set(vcpu) ? TR_EL20 : TR_EL2;
return (vcpu_el2_e2h_is_set(vcpu) &&
vcpu_el2_e2h_is_set(vcpu) &&
if (!vcpu_el2_e2h_is_set(vcpu))
if (!vcpu_el2_e2h_is_set(vcpu))
if (is_hyp_ctxt(vcpu) && vcpu_el2_e2h_is_set(vcpu))
if (vcpu_el2_e2h_is_set(vcpu) && is_hyp_ctxt(vcpu))
if (!vcpu_el2_e2h_is_set(vcpu))
if (vcpu_el2_e2h_is_set(vcpu))
if (vcpu_el2_e2h_is_set(vcpu)) {
if (vcpu_el2_e2h_is_set(vcpu))
if (vcpu_el2_e2h_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) &&
if (!vcpu_el2_e2h_is_set(vcpu))
if (vcpu_el2_e2h_is_set(vcpu)) {
if (vcpu_el2_e2h_is_set(vcpu)) {
if (!vcpu_el2_e2h_is_set(vcpu)) {
if (!vcpu_el2_e2h_is_set(vcpu) || !bit55)
if (is_hyp_ctxt(vcpu) && vcpu_el2_e2h_is_set(vcpu))
if (is_hyp_ctxt(vcpu) && vcpu_el2_e2h_is_set(vcpu))
if (is_hyp_ctxt(vcpu) && vcpu_el2_e2h_is_set(vcpu))
if (is_hyp_ctxt(vcpu) && vcpu_el2_e2h_is_set(vcpu))
if (is_hyp_ctxt(vcpu) && vcpu_el2_e2h_is_set(vcpu))
if (is_hyp_ctxt(vcpu) && vcpu_el2_e2h_is_set(vcpu))
if (xlate != NULL && !vcpu_el2_e2h_is_set(vcpu)) {
loc->loc = ((is_hyp_ctxt(vcpu) && vcpu_el2_e2h_is_set(vcpu)) ?
if (vcpu_el2_e2h_is_set(vcpu) && vcpu_el2_tge_is_set(vcpu)) {