2 * linux/include/asm-arm/arch-ebsa110/time.h
4 * Copyright (C) 1996,1997,1998 Russell King.
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
10 * No real time clock on the evalulation board!
13 * 10-Oct-1996 RMK Created
14 * 04-Dec-1997 RMK Updated for new arch/arm/kernel/time.c
15 * 07-Aug-1998 RMK Updated for arch/arm/kernel/leds.c
16 * 28-Dec-1998 APH Made leds code optional
21 extern int ebsa110_reset_timer(void);
22 extern void ebsa110_setup_timer(void);
24 static void timer_interrupt(int irq, void *dev_id, struct pt_regs *regs)
26 if (ebsa110_reset_timer()) {
34 * Set up timer interrupt.
36 static inline void setup_timer(void)
38 ebsa110_setup_timer();
40 timer_irq.handler = timer_interrupt;
42 setup_arm_irq(IRQ_EBSA110_TIMER0, &timer_irq);