asmc_temp_getvalue
val = asmc_temp_getvalue(dev, sc->sc_model->smc_temps[arg2]);
static int asmc_temp_getvalue(device_t dev, const char *key);