get_asid_by_regime
u16 get_asid_by_regime(struct kvm_vcpu *vcpu, enum trans_regime regime);
wr->asid = get_asid_by_regime(vcpu, wi->regime);
return get_asid_by_regime(vcpu, TR_EL20) == vt->wr.asid;
if (vt->wr.nG && get_asid_by_regime(vcpu, TR_EL20) != vt->wr.asid)