taglinefilesource code
x86_mask37arch/i386/kernel/setup.cchar x86_mask = 0;    /* set by boot/head.S */
x86_mask163arch/i386/kernel/setup.cmask[0] = x86_mask+'@';
x86_mask184arch/i386/kernel/setup.cx86_mask ? mask : "Unknown",
x86_mask216arch/i386/kernel/setup.cmask[0] = cpu_data[i].x86_mask+'@';
x86_mask218arch/i386/kernel/setup.cbp+=sprintf(bp,"%-16s", cpu_data[i].x86_mask ? mask : "Unknown");
x86_mask392arch/i386/kernel/smp.cc->x86_mask=x86_mask;
x86_mask17include/asm-i386/processor.hextern char x86_mask;    /* lower 4 bits */
x86_mask159include/asm-i386/smp.hchar x86_mask;