tag	line	file	source code
x86	90	drivers/char/mem.c	if (x86 > 3 && vma->vm_offset >= high_memory)
x86	18	include/linux/sched.h	extern int x86;
x86	502	init/main.c	system_utsname.machine[1] = '0' + x86;
x86	71	kernel/sched.c	int x86 = 0;      /* set by boot/head.S to 3 or 4 */