2 * Copyright (C) 2012 Altera Corporation <www.altera.com>
4 * SPDX-License-Identifier: GPL-2.0+
9 #include <asm/arch/timer.h>
11 #define TIMER_LOAD_VAL 0xFFFFFFFF
13 static const struct socfpga_timer *timer_base = (void *)CONFIG_SYS_TIMERBASE;
16 * Timer initialization
20 writel(TIMER_LOAD_VAL, &timer_base->load_val);
21 writel(TIMER_LOAD_VAL, &timer_base->curr_val);
22 writel(readl(&timer_base->ctrl) | 0x3, &timer_base->ctrl);