taglinefilesource code
x8690drivers/char/mem.cif (x86 > 3 && vma->vm_offset >= high_memory)
x8618include/linux/sched.hextern int x86;
x86517init/main.csystem_utsname.machine[1] = '0' + x86;
x8672kernel/sched.cint x86 = 0;      /* set by boot/head.S to 3 or 4 */