Re: [PATCH v11 04/12] x86/mm: get INVLPGB count max from CPUID

[Borislav Petkov]

On Wed, Feb 19, 2025 at 12:52:56PM -0500, Rik van Riel wrote:
> Should I modify get_cpu_cap() to store
> c->x86_capabilities[CPUID_8000_0008_EDX] ?
> 
> Currently only the EBX data is stored there,
> while invlpgb_count_max comes from EDX.

No, you should simply assign invlpgb_count_max there.

-- 
Regards/Gruss,
    Boris.

https://people.kernel.org/tglx/notes-about-netiquette