timer_gettick(): Rename to timer_tick() and document better.