Lines Matching defs:ebx
258 u32 ebx, msr_lo, msr_hi;
272 ebx = cpuid_ebx(0x00000001);
273 ebx &= 0x000000FF;
275 dprintk("ebx value is %x, x86_mask is %x\n", ebx, c->x86_mask);
281 * sample has ebx = 0x0f, production has 0x0e.
283 if ((ebx == 0x0e) || (ebx == 0x0f))
289 * needs to have ebx=0x0e, else it's a celeron:
294 if (ebx == 0x0e)
306 * ebx=0x8 or 0xf -- 25130917.pdf doesn't say anything
308 * M-P4-Ms may have either ebx=0xe or 0xf [see above]
309 * M-P4/533 have either ebx=0xe or 0xf. [25317607.pdf]
310 * also, M-P4M HTs have ebx=0x8, too
314 if ((ebx == 0x0e) ||
329 ebx = cpuid_ebx(0x00000001);
330 dprintk("ebx is %x\n", ebx);
332 ebx &= 0x000000FF;
334 if (ebx != 0x06)