Re: [PATCH] arm64: Clarify ARM64_WORKAROUND_REPEAT_TLBI semantics

[Vladimir Murzin <vladimir.murzin@arm.com>]

Hi Mark,

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...

Cheers
Vladimir