tag	line	file	source code
x86_model	36	arch/i386/kernel/setup.c	char x86_model = 0;    /* set by boot/head.S */
x86_model	183	arch/i386/kernel/setup.c	x86_model ? model[x86-4][x86_model-1] : "Unknown",
x86_model	210	arch/i386/kernel/setup.c	bp+=sprintf(bp,"%-16s",cpu_data[i].x86_model?
x86_model	211	arch/i386/kernel/setup.c	model[cpu_data[i].x86-4][cpu_data[i].x86_model-1]:"Unknown");
x86_model	389	arch/i386/kernel/smp.c	c->x86_model=x86_model;
x86_model	16	include/asm-i386/processor.h	extern char x86_model;    /* lower 4 bits */
x86_model	158	include/asm-i386/smp.h	char x86_model;