Re: gettimeofday cost on intel?