X86_FEATURE_HW_PSTATE
{ X86_FEATURE_HW_PSTATE, CPUID_EDX, 7, 0x80000007, 0 },
return cpu_has(cpu, X86_FEATURE_HW_PSTATE);
if (boot_cpu_has(X86_FEATURE_HW_PSTATE)) {