tvtosbt
pr = tvtosbt(aitv->it_value) >> tc_precexp;
sbt = tvtosbt(aitv->it_value);
prec = isbtp == NULL ? tvtosbt(p->p_realtimer.it_interval) : *isbtp;
callout_reset_sbt(&p->p_itcallout, tvtosbt(p->p_realtimer.it_value),
isbt = tvtosbt(p->p_realtimer.it_interval);
rsbt = tvtosbt(rtv);
rsbt = tvtosbt(rtv);
tvtosbt(splice->sp_idle), 0, C_PREL(4));
val = tvtosbt(tv);
sb = tvtosbt(*tv);
delta_t = sbttoms(tvtosbt(tlm_buf->tlb_tv) -
tvtosbt(prev_tlm_buf->tlb_tv));
return (tvtosbt(_tv));