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