taglinefilesource code
x8633arch/i386/kernel/setup.cchar x86 = 0;      /* set by boot/head.S to 3 or 4 */
x86163arch/i386/kernel/setup.cx86+'0', 
x86164arch/i386/kernel/setup.cx86_model ? model[x86-4][x86_model-1] : "Unknown",
x8699drivers/char/mem.cif (x86 > 3 && vma->vm_offset >= high_memory)
x8697include/asm-i386/bugs.hprintk("Hmm, FDIV bug i%c86 system\n", '0'+x86);
x86115include/asm-i386/bugs.hsystem_utsname.machine[1] = '0' + x86;
x8614include/asm-i386/processor.hextern char x86;    /* lower 4 bits */