1/*
2 *  linux/include/asm-arm/arch-rpc/time.h
3 *
4 *  Copyright (C) 1996-2000 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 *  Changelog:
11 *   24-Sep-1996 RMK	Created
12 *   10-Oct-1996 RMK	Brought up to date with arch-sa110eval
13 *   04-Dec-1997 RMK	Updated for new arch/arm/time.c
14 */
15extern void ioctime_init(void);
16
17static void timer_interrupt(int irq, void *dev_id, struct pt_regs *regs)
18{
19	do_timer(regs);
20	do_set_rtc();
21	do_profile(regs);
22}
23
24/*
25 * Set up timer interrupt.
26 */
27static inline void setup_timer(void)
28{
29	ioctime_init();
30
31	timer_irq.handler = timer_interrupt;
32
33	setup_arm_irq(IRQ_TIMER, &timer_irq);
34}
35