tag	line	file	source code
x86	93	drivers/char/mem.c	if (x86 > 3 && off >= high_memory)
x86	20	include/linux/sched.h	extern int x86;
x86	457	init/main.c	system_utsname.machine[1] = '0' + x86;
x86	67	kernel/sched.c	int x86 = 0;      /* set by boot/head.S to 3 or 4 */