Searched refs:timed_counter_t (Results 1 – 3 of 3) sorted by relevance
446 void fctl_tc_constructor(timed_counter_t *tc, uint32_t max_value,448 void fctl_tc_destructor(timed_counter_t *tc);449 boolean_t fctl_tc_increment(timed_counter_t *tc);450 void fctl_tc_reset(timed_counter_t *tc);
116 } timed_counter_t; typedef292 timed_counter_t pd_logo_tc;
6570 timed_counter_t *tc = (timed_counter_t *)arg; in fctl_tc_timer()6599 fctl_tc_constructor(timed_counter_t *tc, uint32_t max_value, clock_t timer) in fctl_tc_constructor()6625 fctl_tc_destructor(timed_counter_t *tc) in fctl_tc_destructor()6656 fctl_tc_increment(timed_counter_t *tc) in fctl_tc_increment()6694 fctl_tc_reset(timed_counter_t *tc) in fctl_tc_reset()