Symbol: ipmi_sensor_thresholds_t