bintime_add       160 kern/kern_tc.c 	bintime_add(bt, &boottimebin);
bintime_add       295 kern/kern_tc.c 	bintime_add(&bt2, &boottimebin);
bintime_add       374 kern/kern_tc.c 	bintime_add(&bt, &boottimebin);