tv_usec            45 kern/include/kern/time.h         __i32 tv_usec;          /* microseconds */
tv_usec            51 user/lib/hostcompat/time.c 		*nsecs = tv.tv_usec * 1000;