1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) Marvell International Ltd. and its affiliates
4 * Written-by: Prafulla Wadaskar <prafulla@marvell.com>
6 * Copyright (C) 2015 Stefan Roese <sr@denx.de>
12 #include <asm/arch/soc.h>
13 #include <linux/bitops.h>
15 #define TIMER_LOAD_VAL 0xffffffff
17 static int init_done __attribute__((section(".data"))) = 0;
20 * Timer initialization
24 /* Only init the timer once */
29 /* load value into timer */
30 writel(TIMER_LOAD_VAL, MVEBU_TIMER_BASE + 0x10);
31 writel(TIMER_LOAD_VAL, MVEBU_TIMER_BASE + 0x14);
33 #if defined(CONFIG_ARCH_MVEBU)
34 /* On Armada XP / 38x ..., the 25MHz clock source needs to be enabled */
35 setbits_le32(MVEBU_TIMER_BASE + 0x00, BIT(11));
37 /* enable timer in auto reload mode */
38 setbits_le32(MVEBU_TIMER_BASE + 0x00, 0x3);