ASMC_KEY_FANTARGETSPEED
v = asmc_fan_getvalue(dev, ASMC_KEY_FANTARGETSPEED, fan);
asmc_fan_setvalue(dev, ASMC_KEY_FANTARGETSPEED, fan, newspeed);