tx39clock_alarm_refill
tx39clock_alarm_refill(tc);
void tx39clock_alarm_refill(tx_chipset_tag_t);
tx39clock_alarm_refill(sc->sc_tc);