taglinefilesource code
x8635arch/i386/kernel/setup.cchar x86 = 0;      /* set by boot/head.S to 3 or 4 */
x86182arch/i386/kernel/setup.cx86+'0', 
x86183arch/i386/kernel/setup.cx86_model ? model[x86-4][x86_model-1] : "Unknown",
x86206arch/i386/kernel/setup.cbp+=sprintf(bp,"%c86             ",cpu_data[i].x86+'0');
x86211arch/i386/kernel/setup.cmodel[cpu_data[i].x86-4][cpu_data[i].x86_model-1]:"Unknown");
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;