1/*
2 *  linux/include/asm-arm/arch-ebsa110/time.h
3 *
4 *  Copyright (C) 1996,1997,1998 Russell King.
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 version 2 as
8 * published by the Free Software Foundation.
9 *
10 * No real time clock on the evalulation board!
11 *
12 * Changelog:
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
17 */
18
19#include <asm/leds.h>
20
21extern int  ebsa110_reset_timer(void);
22extern void ebsa110_setup_timer(void);
23
24static void timer_interrupt(int irq, void *dev_id, struct pt_regs *regs)
25{
26	if (ebsa110_reset_timer()) {
27		do_leds();
28		do_timer(regs);
29		do_profile(regs);
30	}
31}
32
33/*
34 * Set up timer interrupt.
35 */
36static inline void setup_timer(void)
37{
38	ebsa110_setup_timer();
39
40	timer_irq.handler = timer_interrupt;
41
42	setup_arm_irq(IRQ_EBSA110_TIMER0, &timer_irq);
43}
44
45
46