Symbol: rk_timer_update_counter