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