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))