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