Searched refs:fctl_tc_destructor (Results 1 – 2 of 2) sorted by relevance
448 void fctl_tc_destructor(timed_counter_t *tc);
3489 fctl_tc_destructor(&pd->pd_logo_tc); in fctl_dealloc_remote_port()6625 fctl_tc_destructor(timed_counter_t *tc) in fctl_tc_destructor() function