taglinefilesource code
x8635arch/i386/kernel/setup.cchar x86 = 0;      /* set by boot/head.S to 3 or 4 */
x86175arch/i386/kernel/setup.cstatic const char * getmodel(int x86, int model)
x86177arch/i386/kernel/setup.cswitch (x86) {
x86209arch/i386/kernel/setup.cx86+'0', 
x86210arch/i386/kernel/setup.cgetmodel(x86, x86_model),
x86233arch/i386/kernel/setup.cbp+=sprintf(bp,"%c86             ",cpu_data[i].x86+'0');
x86237arch/i386/kernel/setup.cbp+=sprintf(bp,"%-16s",getmodel(cpu_data[i].x86,cpu_data[i].x86_model));
x86390arch/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);
x86117include/asm-i386/bugs.hsystem_utsname.machine[1] = '0' + x86;
x8614include/asm-i386/processor.hextern char x86;    /* lower 4 bits */
x86157include/asm-i386/smp.hchar x86;