tx39clock_alarm_set
int tx39clock_alarm_set(tx_chipset_tag_t, int);
tx39clock_alarm_set(tc, 33); /* 33 msec */