taglinefilesource code
x8690drivers/char/mem.cif (x86 > 3 && vma->vm_offset >= high_memory)
x8618include/linux/sched.hextern int x86;
x86464init/main.cprintk("Ok, FDIV bug i%c86 system\n", '0'+x86);
x86553init/main.csystem_utsname.machine[1] = '0' + x86;
x8673kernel/sched.cint x86 = 0;      /* set by boot/head.S to 3 or 4 */