/* * linux/include/asm-arm/arch-cl7500/time.h * * Copyright (c) 1996-2000 Russell King. * * Changelog: *  24-Sep-1996	RMK	Created *  10-Oct-1996	RMK	Brought up to date with arch-sa110eval *  04-Dec-1997	RMK	Updated for new arch/arm/time.c */static void timer_interrupt(int irq, void *dev_id, struct pt_regs *regs){	do_timer(regs);	do_set_rtc();	do_profile(regs);	{		/* Twinkle the lights. */		static int count, state = 0xff00;		if (count-- == 0) {			state ^= 0x100;			count = 25;			*((volatile unsigned int *)LED_ADDRESS) = state;		}	}}/* * Set up timer interrupt. */static inline void setup_timer(void){	extern void ioctime_init(void);	ioctime_init();	timer_irq.handler = timer_interrupt;	setup_arm_irq(IRQ_TIMER, &timer_irq);}