Re: [PATCH v3 08/10] x86/setcpuid: Add kernel option setcpuid

From: Dave Hansen
Date: Tue Feb 05 2019 - 10:22:03 EST

On 2/5/19 12:51 AM, Peter Zijlstra wrote:
> On Mon, Feb 04, 2019 at 01:09:12PM -0800, Fenghua Yu wrote:
>> Intel SDM published TODAY does have IA32_CORE_CAPABILITY MSR enumerateion
>> bit CPUID.0x7.0:EDX[30] now. Please check today's SDM for the bit:
> When I click that link I get Nov'18, not Feb'19.

Try starting from

It just got released yesterday, so it's entirely possible that some
caches were out of date when you tried.

I see "Order Number: 325462-069US January 2019" at the bottom of the
first page.