read_current_timer() cleanups