taglinefilesource code
ktv224kernel/time.cstruct timeval ktv;
ktv228kernel/time.cdo_gettimeofday(&ktv);
ktv229kernel/time.cput_fs_long(ktv.tv_sec, (unsigned long *) &tv->tv_sec);
ktv230kernel/time.cput_fs_long(ktv.tv_usec, (unsigned long *) &tv->tv_usec);