1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (C) 2012 Altera Corporation <www.altera.com> 4 */ 5 6#include <common.h> 7#include <init.h> 8#include <asm/io.h> 9#include <asm/arch/timer.h> 10 11#define TIMER_LOAD_VAL 0xFFFFFFFF 12 13static const struct socfpga_timer *timer_base = (void *)CFG_SYS_TIMERBASE; 14 15/* 16 * Timer initialization 17 */ 18int timer_init(void) 19{ 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); 23 return 0; 24} 25