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

From: Peter Zijlstra
Date: Tue Feb 05 2019 - 03:51:23 EST

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.