taglinefilesource code
x86_model39arch/i386/kernel/setup.cchar x86_model = 0;    /* set by boot/head.S */
x86_model241arch/i386/kernel/setup.cgetmodel(x86, x86_model),
x86_model268arch/i386/kernel/setup.cbp+=sprintf(bp,"%-16s",getmodel(cpu_data[i].x86,cpu_data[i].x86_model));
x86_model403arch/i386/kernel/smp.cc->x86_model=x86_model;
x86_model16include/asm-i386/processor.hextern char x86_model;    /* lower 4 bits */
x86_model159include/asm-i386/smp.hchar x86_model;