tv_sec             44 kern/include/kern/time.h         __time_t tv_sec;        /* seconds */
tv_sec             49 kern/include/kern/time.h         __time_t tv_sec;        /* seconds */
tv_sec             48 user/lib/hostcompat/time.c 		*secs = tv.tv_sec;
tv_sec             53 user/lib/hostcompat/time.c 	return tv.tv_sec;