taglinefilesource code
x8631arch/i386/kernel/setup.cchar x86 = 0;      /* set by boot/head.S to 3 or 4 */
x8691drivers/char/mem.cif (x86 > 3 && vma->vm_offset >= high_memory)
x86294fs/proc/array.cx86+'0', 
x86295fs/proc/array.cx86_model ? model[x86-4][x86_model-1] : "Unknown",
x8697include/asm-i386/bugs.hprintk("Ok, 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 */