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