X86_FEATURE_BHI_CTRL
if (!boot_cpu_has(X86_FEATURE_BHI_CTRL))
if (boot_cpu_has(X86_FEATURE_BHI_CTRL))
{ X86_FEATURE_BHI_CTRL, CPUID_EDX, 4, 0x00000007, 2 },