1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2015 Rockchip Electronics Co., Ltd
7 #include <asm/arch-rockchip/timer.h>
9 #include <linux/types.h>
11 struct rk_timer * const timer_ptr = (void *)CONFIG_SYS_TIMER_BASE;
13 static uint64_t rockchip_get_ticks(void)
15 uint64_t timebase_h, timebase_l;
17 timebase_l = readl(&timer_ptr->timer_curr_value0);
18 timebase_h = readl(&timer_ptr->timer_curr_value1);
20 return timebase_h << 32 | timebase_l;
23 void rockchip_udelay(unsigned int usec)
28 tmp = rockchip_get_ticks() + usec_to_tick(usec);
31 while (rockchip_get_ticks() < tmp+1)
35 void rockchip_timer_init(void)
37 writel(0xffffffff, &timer_ptr->timer_load_count0);
38 writel(0xffffffff, &timer_ptr->timer_load_count1);
39 writel(1, &timer_ptr->timer_ctrl_reg);