/* timer_interrupt - gets called when the decrementer overflows, with interrupts disabled. Trivial implementation - no need to be really accurate.  */
void timer_interrupt_cpu(struct pt_regs *regs)
/* timer_interrupt - gets called when the decrementer overflows, with interrupts disabled. Trivial implementation - no need to be really accurate.  */
void timer_interrupt_cpu(struct pt_regs *regs)
{
	immap_t __iomem *immr = (immap_t __iomem *)CONFIG_SYS_IMMR;
	out_be32(&immr->im_clkrstk.cark_plprcrk, KAPWR_KEY);
	__asm__ ("nop");
	setbits_be32(&immr->im_clkrst.car_plprcr, 0);
}