taglinefilesource code
x86_mask42arch/i386/kernel/setup.cchar x86_mask = 0;    /* set by kernel/head.S */
x86_mask297arch/i386/kernel/setup.cif (CD(x86_mask))
x86_mask300arch/i386/kernel/setup.cCD(x86_mask));
x86_mask507arch/i386/kernel/smp.cc->x86_mask=x86_mask;
x86_mask19include/asm-i386/processor.hextern char x86_mask;    /* lower 4 bits */
x86_mask160include/asm-i386/smp.hchar x86_mask;