ipmi_sensor_type_name
ipmi_sensor_type_name(sensor_type, sensor_name,
void ipmi_sensor_type_name(uint8_t, char *, size_t);