rk_timer_init     303 drivers/clocksource/timer-rockchip.c TIMER_OF_DECLARE(rk3288_timer, "rockchip,rk3288-timer", rk_timer_init);
rk_timer_init     304 drivers/clocksource/timer-rockchip.c TIMER_OF_DECLARE(rk3399_timer, "rockchip,rk3399-timer", rk_timer_init);