[PATCH v2 1/4] aarch64: Add support for FEAT_TLBID feature

[Jan Beulich]

On 23.01.2026 23:25, Srinath Parvathaneni wrote:
> @@ -5470,6 +5487,7 @@ const aarch64_sys_ins_reg aarch64_sys_regs_tlbi[] =
>      TLBI_XS_OP ( "rvale3is",   CPENS (6, C8, C2, 5), F_HASXT | F_REG_128 )
>      TLBI_XS_OP ( "rvae3os",    CPENS (6, C8, C5, 1), F_HASXT | F_REG_128 )
>      TLBI_XS_OP ( "rvale3os",   CPENS (6, C8, C5, 5), F_HASXT | F_REG_128 )
> +    TLBI_XS_OP ( "vmallws2e1",CPENS (4, C8, C6, 3), 0)

This entry, which also looks slightly malformed, doesn't appear to be covered
by the testcases added.

Jan