static int __init intel_num_cpu_cores(struct cpuinfo_x86 *c) 
static int __cpuinit intel_num_cpu_cores(struct cpuinfo_x86 *c) 
static int __init intel_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;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/setup.c/clean/arch/x86_64/kernel/setup.c