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