topo_sensor_state_name
topo_sensor_state_name(type, val, val_str, 48);
extern void topo_sensor_state_name(uint32_t, uint32_t, char *,