tag
line
file
source code
x86
294
include/linux/sched.h
extern int x86;
x86
431
init/main.c
system_utsname.machine[1] = '0' + x86;
x86
66
kernel/sched.c
int x86 = 0; /* set by boot/head.S to 3 or 4 */