On Tue, 29 Mar 2022 at 22:09, Richard Henderson <richard.hender...@linaro.org> wrote: > > I believe I follow: because the walk uses walkstate.address.paddress.paspace, > the ipa > input parameter is unchanged, and it is ipa that is passed to > AArch64.S2NextWalkStateLast() to form the output address. >
Indeed, I initially found the issue when a test case passed on arm IP but raised a data abort in QEMU. Since fixing this issue solved the inconsistency, I believe this is the intended behaviour and not a spec bug. > > r~ Idan Horowitz
