taglinefilesource code
x8638arch/i386/kernel/setup.cchar x86 = 0;      /* set by boot/head.S to 3 or 4 */
x86206arch/i386/kernel/setup.cstatic const char * getmodel(int x86, int model)
x86208arch/i386/kernel/setup.cswitch (x86) {
x86240arch/i386/kernel/setup.cx86+'0', 
x86241arch/i386/kernel/setup.cgetmodel(x86, x86_model),
x86264arch/i386/kernel/setup.cbp+=sprintf(bp,"%c86             ",cpu_data[i].x86+'0');
x86268arch/i386/kernel/setup.cbp+=sprintf(bp,"%-16s",getmodel(cpu_data[i].x86,cpu_data[i].x86_model));
x86402arch/i386/kernel/smp.cc->x86=x86;
x86106drivers/char/mem.cif (x86 > 3 && vma->vm_offset >= high_memory)
x8699include/asm-i386/bugs.hprintk("Hmm, FDIV bug i%c86 system\n", '0'+x86);
x86120include/asm-i386/bugs.hif (x86 == 3) {
x86133include/asm-i386/bugs.hsystem_utsname.machine[1] = '0' + x86;
x8614include/asm-i386/processor.hextern char x86;    /* lower 4 bits */
x86158include/asm-i386/smp.hchar x86;