rk_timer_update_counter   83 drivers/clocksource/timer-rockchip.c 	rk_timer_update_counter(cycles, timer);
rk_timer_update_counter  102 drivers/clocksource/timer-rockchip.c 	rk_timer_update_counter(timer->freq / HZ - 1, timer);
rk_timer_update_counter  267 drivers/clocksource/timer-rockchip.c 	rk_timer_update_counter(UINT_MAX, rk_clksrc);