c->x86_num_cores = intel_num_cpu_cores(c); 
static void __init init_intel(struct cpuinfo_x86 *c){	/* Cache sizes */	unsigned n;	init_intel_cacheinfo(c);	n = c->x86_cpuid_level;	if (n >= 0x80000008) {		unsigned eax = cpuid_eax(0x80000008);		c->x86_virt_bits = (eax >> 8) & 0xff;		c->x86_phys_bits = eax & 0xff;	}	if (c->x86 == 15)		c->x86_cache_alignment = c->x86_clflush_size * 2;	if (c->x86 >= 15)		set_bit(X86_FEATURE_CONSTANT_TSC, &c->x86_capability);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3dd9d514846cdca1dcef2e4fce666d85e199e844/setup.c/clean/arch/x86_64/kernel/setup.c