1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2015 Rockchip Electronics Co., Ltd
7 #include <asm/arch/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 static uint64_t usec_to_tick(unsigned int usec)
26 tick *= CONFIG_SYS_TIMER_RATE / (1000 * 1000);
30 void rockchip_udelay(unsigned int usec)
35 tmp = rockchip_get_ticks() + usec_to_tick(usec);
38 while (rockchip_get_ticks() < tmp+1)
42 void rockchip_timer_init(void)
44 writel(0xffffffff, &timer_ptr->timer_load_count0);
45 writel(0xffffffff, &timer_ptr->timer_load_count1);
46 writel(1, &timer_ptr->timer_ctrl_reg);