static void __init display_cacheinfo(struct cpuinfo_x86 *c) 
static void __cpuinit display_cacheinfo(struct cpuinfo_x86 *c) 
static void __init display_cacheinfo(struct cpuinfo_x86 *c){	unsigned int n, dummy, eax, ebx, ecx, edx;	n = c->extended_cpuid_level;	if (n >= 0x80000005) {		cpuid(0x80000005, &dummy, &ebx, &ecx, &edx);		printk(KERN_INFO "CPU: L1 I Cache: %dK (%d bytes/line), D cache %dK (%d bytes/line)\n",			edx>>24, edx&0xFF, ecx>>24, ecx&0xFF);		c->x86_cache_size=(ecx>>24)+(edx>>24);		/* On K8 L1 TLB is inclusive, so don't count it */		c->x86_tlbsize = 0;	}	if (n >= 0x80000006) {		cpuid(0x80000006, &dummy, &ebx, &ecx, &edx);		ecx = cpuid_ecx(0x80000006);		c->x86_cache_size = ecx >> 16;		c->x86_tlbsize += ((ebx >> 16) & 0xfff) + (ebx & 0xfff);		printk(KERN_INFO "CPU: L2 Cache: %dK (%d bytes/line)\n",		c->x86_cache_size, ecx & 0xFF);	}	if (n >= 0x80000007)		cpuid(0x80000007, &dummy, &dummy, &dummy, &c->x86_power); 	if (n >= 0x80000008) {		cpuid(0x80000008, &eax, &dummy, &dummy, &dummy); 		c->x86_virt_bits = (eax >> 8) & 0xff;		c->x86_phys_bits = eax & 0xff;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/setup.c/clean/arch/x86_64/kernel/setup.c