| /* | |
| * Copyright (C) 2012 Altera Corporation <www.altera.com> | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #include <common.h> | |
| #include <asm/io.h> | |
| #include <asm/arch/timer.h> | |
| #define TIMER_LOAD_VAL 0xFFFFFFFF | |
| static const struct socfpga_timer *timer_base = (void *)CONFIG_SYS_TIMERBASE; | |
| /* | |
| * Timer initialization | |
| */ | |
| int timer_init(void) | |
| { | |
| writel(TIMER_LOAD_VAL, &timer_base->load_val); | |
| writel(TIMER_LOAD_VAL, &timer_base->curr_val); | |
| writel(readl(&timer_base->ctrl) | 0x3, &timer_base->ctrl); | |
| return 0; | |
| } |