tag	line	file	source code
model_defs	114	arch/i386/kernel/smp.c	static char *model_defs[]=
model_defs	129	arch/i386/kernel/smp.c	return model_defs[model];