Re: do_gettiimeofday query