Symbol: ipmi_set_sensor_reading