Change preferred default clocksource to gettimeofday()
authorJens Axboe <axboe@kernel.dk>
Fri, 30 Nov 2012 18:43:31 +0000 (19:43 +0100)
committerJens Axboe <axboe@kernel.dk>
Fri, 30 Nov 2012 18:43:31 +0000 (19:43 +0100)
commitf7161017b75f5d3526147d42d3b583973922c444
tree533df63d1c274dbff6a6aecb829b32a346e46e33
parentd72be5454c8c5378f16804ff9b8d1afe8729a380
Change preferred default clocksource to gettimeofday()

It's faster than clock_gettime()

Signed-off-by: Jens Axboe <axboe@kernel.dk>
os/os.h