1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2019 Rockchip Electronics Co., Ltd
7 #include <debug_uart.h>
14 #include <asm/arch-rockchip/bootrom.h>
15 #include <asm/arch-rockchip/sdram_px30.h>
17 #define TIMER_LOAD_COUNT0 0x00
18 #define TIMER_LOAD_COUNT1 0x04
19 #define TIMER_CUR_VALUE0 0x08
20 #define TIMER_CUR_VALUE1 0x0c
21 #define TIMER_CONTROL_REG 0x10
24 #define TIMER_FMODE (0 << 1)
25 #define TIMER_RMODE (1 << 1)
27 void secure_timer_init(void)
29 writel(0, CONFIG_ROCKCHIP_STIMER_BASE + TIMER_CONTROL_REG);
30 writel(0xffffffff, CONFIG_ROCKCHIP_STIMER_BASE + TIMER_LOAD_COUNT0);
31 writel(0xffffffff, CONFIG_ROCKCHIP_STIMER_BASE + TIMER_LOAD_COUNT1);
32 writel(TIMER_EN | TIMER_FMODE,
33 CONFIG_ROCKCHIP_STIMER_BASE + TIMER_CONTROL_REG);
36 void board_init_f(ulong dummy)
40 #ifdef CONFIG_DEBUG_UART
43 * Debug UART can be used from here if required:
48 * printascii("string");
50 printascii("U-Boot TPL board init\n");
56 printascii("sdram_init failed\n");
58 /* return to maskrom */
59 back_to_bootrom(BROM_BOOT_NEXTSTAGE);