fctl_tc_reset
fctl_tc_reset(&pd->pd_logo_tc);
fctl_tc_reset(&pd->pd_logo_tc);
fctl_tc_reset(&pd->pd_logo_tc);
fctl_tc_reset(&pwwn_pd->pd_logo_tc);
fctl_tc_reset(&pd->pd_logo_tc);
void fctl_tc_reset(timed_counter_t *tc);