lib/libsys/__vdso_gettimeofday.c

91

bintime_addx(bt, x << 32);

lib/libsys/__vdso_gettimeofday.c

93

bintime_addx(bt, scale * delta);

sys/kern/kern_ffclock.c

114

bintime_addx(error_bound, cest.errb_abs *

sys/kern/kern_tc.c

1113

bintime_addx(&bt, cest.errb_abs * (uint64_t)18446744073ULL);

sys/kern/kern_tc.c

1138

bintime_addx(bt, cs->fb_info.th_scale * cs->delta);

sys/kern/kern_tc.c

1870

bintime_addx(&bt, capth_scale * tcount);

sys/kern/kern_tc.c

226

bintime_addx(bt, x << 32);

sys/kern/kern_tc.c

227

bintime_addx(bt, (scale & 0xffffffff) * delta);

sys/kern/kern_tc.c

229

bintime_addx(bt, scale * delta);