/* find out the number of processor cores on the die  */
static int __cpuinit intel_num_cpu_cores(struct cpuinfo_x86 *c)
/* find out the number of processor cores on the die  */
static int __cpuinit intel_num_cpu_cores(struct cpuinfo_x86 *c)
{
	unsigned int eax, ebx, ecx, edx;
	if (c->cpuid_level < 4)
		return 1;
	cpuid_count(4, 0, &eax, &ebx, &ecx, &edx);
	if (eax & 0x1f)
		return (eax >> 26) + 1;
	else
		return 1;
}