Support accurate short delays in the timer code, to speed up disk