1/* 2 * linux/include/asm-arm/arch-epxa10db/time.h 3 * 4 * Copyright (C) 2001 Altera Corporation 5 * 6 * This program is free software; you can redistribute it and/or modify 7 * it under the terms of the GNU General Public License as published by 8 * the Free Software Foundation; either version 2 of the License, or 9 * (at your option) any later version. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program; if not, write to the Free Software 18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 19 */ 20#include <linux/config.h> 21#include <asm/system.h> 22#include <asm/leds.h> 23#include <asm/arch/hardware.h> 24#define TIMER00_TYPE (volatile unsigned int*) 25#include <asm/arch/timer00.h> 26 27 28/* 29 * IRQ handler for the timer 30 */ 31static void excalibur_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs) 32{ 33 34 // ...clear the interrupt 35 *TIMER0_CR(IO_ADDRESS(EXC_TIMER00_BASE))|=TIMER0_CR_CI_MSK; 36 37 do_leds(); 38 do_timer(regs); 39 do_profile(regs); 40} 41 42/* 43 * Set up timer interrupt, and return the current time in seconds. 44 */ 45extern __inline__ void setup_timer(void) 46{ 47 48 49 timer_irq.handler = excalibur_timer_interrupt; 50 51 52 /* 53 * Make irqs happen for the system timer 54 */ 55 setup_arm_irq(IRQ_TIMER0, &timer_irq); 56 57 /* Start the timer */ 58 *TIMER0_LIMIT(IO_ADDRESS(EXC_TIMER00_BASE))=(unsigned int)(EXC_AHB2_CLK_FREQUENCY/200); 59 *TIMER0_PRESCALE(IO_ADDRESS(EXC_TIMER00_BASE))=1; 60 *TIMER0_CR(IO_ADDRESS(EXC_TIMER00_BASE))=TIMER0_CR_IE_MSK | TIMER0_CR_S_MSK; 61} 62