brandidx           41 drivers/hwmon/k8temp.c 	u32 brandidx;
brandidx           54 drivers/hwmon/k8temp.c 	brandidx = cpuid_ebx(0x80000001);
brandidx           55 drivers/hwmon/k8temp.c 	brandidx = (brandidx >> 9) & 0x1f;
brandidx           59 drivers/hwmon/k8temp.c 	    (brandidx == 0x7 || brandidx == 0x9 || brandidx == 0xc))
brandidx           64 drivers/hwmon/k8temp.c 	    (brandidx == 0xb || brandidx == 0xc))