coretemp_get_thermal_msr
msr = coretemp_get_thermal_msr(device_get_unit(dev));
static uint64_t coretemp_get_thermal_msr(int cpu);