bintime_addx      133 kern/kern_tc.c 		bintime_addx(bt, th->th_scale * tc_delta(th));
bintime_addx      349 kern/kern_tc.c 	bintime_addx(&th->th_offset, th->th_scale * delta);