topo_sensor_type_name
topo_sensor_type_name(val, val_str, 48);
extern void topo_sensor_type_name(uint32_t, char *, size_t);