1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Device Tree support for Rockchip SoCs
5 * Copyright (c) 2013 MundoReader S.L.
6 * Author: Heiko Stuebner <heiko@sntech.de>
9 #include <linux/kernel.h>
10 #include <linux/init.h>
13 #include <linux/of_clk.h>
14 #include <linux/clocksource.h>
15 #include <asm/mach/arch.h>
16 #include <asm/mach/map.h>
20 #define RK3288_TIMER6_7_PHYS 0xff810000
22 static void __init
rockchip_timer_init(void)
24 if (of_machine_is_compatible("rockchip,rk3288")) {
25 void __iomem
*reg_base
;
28 * Most/all uboot versions for rk3288 don't enable timer7
29 * which is needed for the architected timer to work.
30 * So make sure it is running during early boot.
32 reg_base
= ioremap(RK3288_TIMER6_7_PHYS
, SZ_16K
);
34 writel(0, reg_base
+ 0x30);
35 writel(0xffffffff, reg_base
+ 0x20);
36 writel(0xffffffff, reg_base
+ 0x24);
37 writel(1, reg_base
+ 0x30);
41 pr_err("rockchip: could not map timer7 registers\n");
49 static void __init
rockchip_dt_init(void)
51 rockchip_suspend_init();
54 static const char * const rockchip_board_dt_compat
[] = {
65 DT_MACHINE_START(ROCKCHIP_DT
, "Rockchip (Device Tree)")
68 .init_time
= rockchip_timer_init
,
69 .dt_compat
= rockchip_board_dt_compat
,
70 .init_machine
= rockchip_dt_init
,