1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2012 Altera Corporation <www.altera.com>
8 #include <asm/arch/timer.h>
10 #define TIMER_LOAD_VAL 0xFFFFFFFF
12 static const struct socfpga_timer *timer_base = (void *)CONFIG_SYS_TIMERBASE;
15 * Timer initialization
19 writel(TIMER_LOAD_VAL, &timer_base->load_val);
20 writel(TIMER_LOAD_VAL, &timer_base->curr_val);
21 writel(readl(&timer_base->ctrl) | 0x3, &timer_base->ctrl);