/* timer_interrupt() needs to keep up the real-time clock, as well as call the "do_timer()" routine every clocktick  */
static 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  */
static irqreturn_t timer_interrupt(int irq, void *dev_id)
{
	h8300_timer_tick();
	ctrl_bclr(CMFA, _8BASE + _8TCSR);
	return IRQ_HANDLED;
}