tc_delta          133 kern/kern_tc.c 		bintime_addx(bt, th->th_scale * tc_delta(th));
tc_delta          342 kern/kern_tc.c 	delta = tc_delta(th);