static int __init get_model_name(struct cpuinfo_x86 *c) 
static int __cpuinit get_model_name(struct cpuinfo_x86 *c) 
static int __init get_model_name(struct cpuinfo_x86 *c){	unsigned int *v;	if (c->extended_cpuid_level < 0x80000004)		return 0;	v = (unsigned int *) c->x86_model_id;	cpuid(0x80000002, &v[0], &v[1], &v[2], &v[3]);	cpuid(0x80000003, &v[4], &v[5], &v[6], &v[7]);	cpuid(0x80000004, &v[8], &v[9], &v[10], &v[11]);	c->x86_model_id[48] = 0;	return 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/setup.c/clean/arch/x86_64/kernel/setup.c