Re: replacing the use of gettimeofday in the scheduler