TR_EL2
if (wi->regime != TR_EL2) {
case TR_EL2:
if (wi->regime != TR_EL2)
case TR_EL2:
case TR_EL2:
wi->e0poe = (wi->regime != TR_EL2) && (val & TCR2_EL1_E0POE);
case TR_EL2:
wi.regime = vcpu_el2_e2h_is_set(vcpu) ? TR_EL20 : TR_EL2;
if (va55 && wi->regime != TR_EL2) {
if (wi->regime == TR_EL2 && va55)
tbi = (wi->regime == TR_EL2 ?
wi->sh = (wi->regime == TR_EL2 ?
case TR_EL2:
wi->hpd &= (wi->regime == TR_EL2 ?
if (wi->regime != TR_EL2 &&
ps = (wi->regime == TR_EL2 ?
wi->ha &= (wi->regime == TR_EL2 ?
return ((wi->regime == TR_EL2 ?
wr->nG = (wi->regime != TR_EL2) && (desc & PTE_NG);
return (tcr & (wi->regime == TR_EL2 ? TCR_EL2_DS : TCR_DS));
return vcpu_el2_e2h_is_set(vcpu) ? TR_EL20 : TR_EL2;
if (wi->regime != TR_EL2) {
case TR_EL2: