X86_FEATURE_MSR_IA32_FEAT_CTL
if (!boot_cpu_has(X86_FEATURE_MSR_IA32_FEAT_CTL) ||
set_cpu_cap(c, X86_FEATURE_MSR_IA32_FEAT_CTL);
if (!this_cpu_has(X86_FEATURE_MSR_IA32_FEAT_CTL) ||
if (cpu_has(c, X86_FEATURE_MSR_IA32_FEAT_CTL))