vcpu_is_el2
if (vcpu_is_el2(vcpu) && vcpu_el2_e2h_is_set(vcpu) && !vcpu_el2_tge_is_set(vcpu))
return vcpu_is_el2(vcpu) || (e2h && tge) || tge;
return is_hyp_ctxt(vcpu) && !vcpu_is_el2(vcpu);
if (!vcpu_has_nv(vcpu) || vcpu_is_el2(vcpu))
return vcpu_el2_tge_is_set(vcpu) && !vcpu_is_el2(vcpu);
if (vcpu_is_el2(vcpu))
if (vcpu_is_el2(vcpu) && !vcpu_el2_tge_is_set(vcpu) &&
if (vcpu_is_el2(vcpu) && kvm_serror_undeliverable_at_el2(vcpu)) {
if (vcpu_has_nv(vcpu) && !vcpu_is_el2(vcpu))
if (!vcpu_has_nv(vcpu) || vcpu_is_el2(vcpu))
if (!vcpu_is_el2(vcpu))
WARN_ON(!vcpu_is_el2(vcpu));