static char __init *table_lookup_model(struct cpuinfo_x86 *c) 
static char __devinit *table_lookup_model(struct cpuinfo_x86 *c) 
static char __init *table_lookup_model(struct cpuinfo_x86 *c){	struct cpu_model_info *info;	if ( c->x86_model >= 16 )		return NULL;	/* Range check */	if (!this_cpu)		return NULL;	info = this_cpu->c_models;	while (info && info->family) {		if (info->family == c->x86)			return info->model_names[c->x86_model];		info++;	}	return NULL;		/* Not found */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0bb3184df537002a742bafddf3f4fb482b7fe610/common.c/clean/arch/i386/kernel/cpu/common.c