taglinefilesource code
x86_mask36arch/i386/kernel/setup.cchar x86_mask = 0;    /* set by boot/head.S */
x86_mask154arch/i386/kernel/setup.cmask[0] = x86_mask+'@';
x86_mask175arch/i386/kernel/setup.cx86_mask ? mask : "Unknown",
x86_mask17include/asm-i386/processor.hextern char x86_mask;    /* lower 4 bits */
x86_mask156include/asm-i386/smp.hchar x86_mask;