tag	line	file	source code
x86_mask	35	arch/i386/kernel/setup.c	char x86_mask = 0;    /* set by boot/head.S */
x86_mask	143	arch/i386/kernel/setup.c	mask[0] = x86_mask+'@';
x86_mask	164	arch/i386/kernel/setup.c	x86_mask ? mask : "Unknown",
x86_mask	17	include/asm-i386/processor.h	extern char x86_mask;    /* lower 4 bits */