[PATCH] arm64: Clarify ARM64_WORKAROUND_REPEAT_TLBI semantics

[Mark Rutland]

On Mon, Jun 29, 2026 at 07:05:35PM +0100, Vladimir Murzin wrote:
> On 6/29/26 11:09, Mark Rutland wrote:
> > Will notes that the ARM64_WORKAROUND_REPEAT_TLBI name is potentially
> > misleading, and that it would be nice to rename that and add some
> > documentation. See:
> > 
> >   https://lore.kernel.org/linux-arm-kernel/ajKn_Pt50CmOUrsP@willie-the-truck/
> > 
> > To that end, I've renamed the Kconfig symbol and hwcap from:
> > 
> >   [CONFIG_]ARM64_WORKAROUND_REPEAT_TLBI
> > 
> > ... to:
> > 
> >   [CONFIG_]ARM64_WORKAROUND_REPEAT_TLBI_SYNC
> > 
> > ... and I've added some rationale alongside the Kconfig. As the Kconfig
> > symbol isn't user selectable, the usual 'help' section won't appear in
> > menuconfig, so I've added this as a comment.
> > 
> 
> Although it won't appear in menuconfig, 3rd party tools that
> index config symbols may still consume the help section.
> I'm not sure how much we care about such tools...

FWIW, I'm happy either way -- I'll defer to Will's preference.

Mark.