/* IRQ Handler for the timer 0 of the MTU block. The irq is not shared as we are the only users of mtu0 by now.  */
static irqreturn_t nmdk_timer_interrupt(int irq, void *dev_id)
/* IRQ Handler for the timer 0 of the MTU block. The irq is not shared as we are the only users of mtu0 by now.  */
static irqreturn_t nmdk_timer_interrupt(int irq, void *dev_id)
{
	writel(1 << 0, mtu_base + MTU_ICR);
	nmdk_count += nmdk_cycle;
	nmdk_clkevt.event_handler(&nmdk_clkevt);
	return IRQ_HANDLED;
}