On Tue, 25 Feb 2020 at 17:46, Richard Henderson <richard.hender...@linaro.org> wrote: > > On 2/25/20 4:01 AM, Peter Maydell wrote: > > The set of operations this traps differs when ARMv8.4-TLBI is > > implemented. It looks like you've applied this access fn to > > the wider with-v8.4-TLBI set? (eg TLBI_VMALLE1 is only trapped > > with ARMv8.4-TLBI, not without.) > > Um, that's not true. > > ARMv8.4-TLBI adds the *OS and R* insns, and extends this bit to apply there. > But all of the original v8.0 insns are unchanged.
Oh, the spec has confused me by listing the TLBI operations in a different order in the "with v8.4-TLBI" section (where it starts with 'TLBI VMALLE1') and in the "otherwise" section (where it starts with 'TLBI VMALLE1IS' but 'TLBI VMALLE1' is still in the list, just later on). thanks -- PMM
