accounting for the "lost time" between when the timer interrupt fired and when clock_intr() actually started executing.