Re: [PATCHv3 07/13] x86/mm: Make PGDIR_SHIFT and PTRS_PER_P4D variable

[Andi Kleen]

> +#ifdef CONFIG_X86_5LEVEL
> +unsigned int pgdir_shift = 48;
> +unsigned int ptrs_per_p4d = 512;

should be both __read_mostly

> +#ifdef CONFIG_X86_5LEVEL
> +unsigned int pgdir_shift = 48;
> +EXPORT_SYMBOL(pgdir_shift);
> +unsigned int ptrs_per_p4d = 512;
> +EXPORT_SYMBOL(ptrs_per_p4d);
> +#endif

Same.

-Andi