On Tue, Nov 15, 2016 at 03:22:45PM -0600, Tom Lendacky wrote: > Hmmm... I still need the ebx value from the CPUID instruction to > calculate the proper reduction in physical bits, so I'll still need > to make the CPUID call. if (c->extended_cpuid_level >= 0x8000001f) { cpuid(0x8000001f, &eax, &ebx, &ecx, &edx); ... just like the rest of get_cpu_cap() :) -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply. -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html