On Fri, 10 Oct 2025 at 21:21, Richard Henderson <[email protected]> wrote: > > We just extracted 3 bits; the <= 7 test is trivially true. > > Signed-off-by: Richard Henderson <[email protected]> > --- > target/arm/ptw.c | 1 - > 1 file changed, 1 deletion(-) > > diff --git a/target/arm/ptw.c b/target/arm/ptw.c > index d4386ede73..54c45fc9fe 100644 > --- a/target/arm/ptw.c > +++ b/target/arm/ptw.c > @@ -2320,7 +2320,6 @@ static bool get_phys_addr_lpae(CPUARMState *env, > S1Translate *ptw, > /* Index into MAIR registers for cache attributes */ > attrindx = extract32(attrs, 2, 3); > mair = env->cp15.mair_el[regime_el(mmu_idx)]; > - assert(attrindx <= 7); > result->cacheattrs.is_s2_format = false; > result->cacheattrs.attrs = extract64(mair, attrindx * 8, 8); > > --
Reviewed-by: Peter Maydell <[email protected]> thanks -- PMM
