ipmi_sensor_reading_name
ipmi_sensor_reading_name(sensor_type, reading_type,
void ipmi_sensor_reading_name(uint8_t, uint8_t, char *, size_t);