timed_counter_t
timed_counter_t *tc = (timed_counter_t *)arg;
fctl_tc_constructor(timed_counter_t *tc, uint32_t max_value, clock_t timer)
fctl_tc_destructor(timed_counter_t *tc)
fctl_tc_increment(timed_counter_t *tc)
fctl_tc_reset(timed_counter_t *tc)
void fctl_tc_constructor(timed_counter_t *tc, uint32_t max_value,
void fctl_tc_destructor(timed_counter_t *tc);
boolean_t fctl_tc_increment(timed_counter_t *tc);
void fctl_tc_reset(timed_counter_t *tc);
timed_counter_t pd_logo_tc;