path: root/firmware/src/simtrace/tc_etu.h

void tc_etu_set_wtime(u_int16_t wtime);
void tc_etu_set_etu(u_int16_t etu);
void tc_etu_init(void);