compute_translation_regime
wi.regime = compute_translation_regime(vcpu, op);
if (compute_translation_regime(vcpu, op) == TR_EL20 ||