rk_timer_disable   82 drivers/clocksource/timer-rockchip.c 	rk_timer_disable(timer);
rk_timer_disable   93 drivers/clocksource/timer-rockchip.c 	rk_timer_disable(timer);
rk_timer_disable  101 drivers/clocksource/timer-rockchip.c 	rk_timer_disable(timer);
rk_timer_disable  115 drivers/clocksource/timer-rockchip.c 		rk_timer_disable(timer);
rk_timer_disable  185 drivers/clocksource/timer-rockchip.c 	rk_timer_disable(timer);