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