/* Naming convention should be: <Name>  This table only is used unless init_<vendor>() below doesn't set it; in particular, if CPUID levels 0x80000002..4 are supported, this isn't used  */
static const char* __cpuinit table_lookup_model(struct cpuinfo_x86 *c)
/* Naming convention should be: <Name>  This table only is used unless init_<vendor>() below doesn't set it; in particular, if CPUID levels 0x80000002..4 are supported, this isn't used  */
static const char* __cpuinit table_lookup_model(struct cpuinfo_x86 *c)
{
	const struct cpu_model_info *info;
	if (c->x86_model >= 16)
		return NULL;
	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;
}