untimeout_default
(void) untimeout_default(old_tid, 0);
delta = untimeout_default(tcpt->tcpt_tid, 0);
(void) untimeout_default(id, 0);
timeleft = untimeout_default(id, 0);
rval = untimeout_default(id, 0);
(void) untimeout_default(id, 0);
clock_t untimeout_default(callout_id_t, int);
tim = untimeout_default(tmp_id, 0);