taglinefilesource code
x8640arch/i386/kernel/setup.cchar x86 = 0;      /* set by kernel/head.S to 3..6 */
x86238arch/i386/kernel/setup.cstatic const char * getmodel(int x86, int model)
x86242arch/i386/kernel/setup.cswitch (x86) {
x86292arch/i386/kernel/setup.cCD(x86)+'0',
x86294arch/i386/kernel/setup.cgetmodel(CD(x86), CD(x86_model)) :
x86505arch/i386/kernel/smp.cc->x86=x86;
x86110drivers/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;
x8616include/asm-i386/processor.hextern char x86;    /* lower 4 bits */
x86158include/asm-i386/smp.hchar x86;