|
@@ -846,6 +846,8 @@ void __cpuinit identify_cpu(struct cpuinfo_x86 *c)
|
|
|
c->x86_capability[2] = cpuid_edx(0x80860001);
|
|
|
}
|
|
|
|
|
|
+ init_scattered_cpuid_features(c);
|
|
|
+
|
|
|
c->apicid = phys_pkg_id(0);
|
|
|
|
|
|
/*
|
|
@@ -973,6 +975,12 @@ static int show_cpuinfo(struct seq_file *m, void *v)
|
|
|
"osvw", "ibs", NULL, NULL, NULL, NULL,
|
|
|
NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
|
|
|
NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
|
|
|
+
|
|
|
+ /* Auxiliary (Linux-defined) */
|
|
|
+ "ida", NULL, NULL, NULL, NULL, NULL, NULL, NULL,
|
|
|
+ NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
|
|
|
+ NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
|
|
|
+ NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
|
|
|
};
|
|
|
static char *x86_power_flags[] = {
|
|
|
"ts", /* temperature sensor */
|