/* timer_interrupt() needs to keep up the real-time clock, as well as call the "do_timer()" routine every clocktick  */
irqreturn_t timer_interrupt(int irq, void *dev_id)
/* timer_interrupt() needs to keep up the real-time clock, as well as call the "do_timer()" routine every clocktick  */
irqreturn_t timer_interrupt(int irq, void *dev_id)
{
	struct clock_event_device *evt = dev_id;
	smp_mb();
	evt->event_handler(evt);
	bfin_timer_ack();
	return IRQ_HANDLED;
}