ap/os/linux/linux-3.4.x/arch/arm/mach-zx297510/reset.c

#include <mach/iomap.h>
#include <linux/delay.h>
#include <linux/io.h>


void zx297510_restart(char core , const char *time)

{

	
	/* reset */
	void __iomem *reset_reg;
	
	reset_reg = ZX29_TOP_VA;

	mdelay (600);				/* wait 600 ms */

    writel(0x1<<31,reset_reg);
}