bintime           168 kern/kern_tc.c 	bintime(&bt);
bintime           177 kern/kern_tc.c 	bintime(&bt);
bintime           293 sys/time.h     void	bintime(struct bintime *);