static int __init num_cpu_cores(struct cpuinfo_x86 *c) 
static int __devinit num_cpu_cores(struct cpuinfo_x86 *c) 
static int __init num_cpu_cores(struct cpuinfo_x86 *c){	unsigned int eax;	if (c->cpuid_level < 4)		return 1;	__asm__("cpuid"		: "=a" (eax)		: "0" (4), "c" (0)		: "bx", "dx");	if (eax & 0x1f)		return ((eax >> 26) + 1);	else		return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0bb3184df537002a742bafddf3f4fb482b7fe610/intel.c/buggy/arch/i386/kernel/cpu/intel.c