Re: [PATCH 03/11] x86/mm: get INVLPGB count max from CPUID

[Nadav Amit <nadav.amit@xxxxxxxxx>]

> On 23 Dec 2024, at 4:55, Rik van Riel <riel@xxxxxxxxxxx> wrote:
> 
> --- a/arch/x86/kernel/setup.c
> +++ b/arch/x86/kernel/setup.c
> @@ -138,6 +138,10 @@ __visible unsigned long mmu_cr4_features __ro_after_init;
> __visible unsigned long mmu_cr4_features __ro_after_init = X86_CR4_PAE;
> #endif
> 
> +#ifdef CONFIG_CPU_SUP_AMD
> +u16 invlpgb_count_max;

Any reason to mark it also as __ro_after_init?