On Tue, 3 Dec 2019 at 16:06, Richard Henderson <richard.hender...@linaro.org> wrote: > On 12/3/19 1:42 PM, Peter Maydell wrote: > > This reads a bit oddly, because (in the final version of the spec) > > physical and logical tags are identical (AArch64.PhysicalTag() > > just returns bits [59:56] of the vaddr). > > I missed that change between draft and final. > > Wow, that's really annoying. If they were going to drop physical vs logical > tags, why did they keep the language?
It leaves space for a potential future architecture making the mapping something other than 1:1. > Is this really intentional? Yes. thanks -- PMM