Symbol: ipmi_sensor_reading_t