taglinefilesource code
x86297include/linux/sched.hextern int x86;
x86433init/main.csystem_utsname.machine[1] = '0' + x86;
x8666kernel/sched.cint x86 = 0;      /* set by boot/head.S to 3 or 4 */