Searched refs:brandidx (Results 1 – 1 of 1) sorted by relevance
41 u32 brandidx; in is_rev_g_desktop() local54 brandidx = cpuid_ebx(0x80000001); in is_rev_g_desktop()55 brandidx = (brandidx >> 9) & 0x1f; in is_rev_g_desktop()59 (brandidx == 0x7 || brandidx == 0x9 || brandidx == 0xc)) in is_rev_g_desktop()64 (brandidx == 0xb || brandidx == 0xc)) in is_rev_g_desktop()