/* mpc52xx_restart: ppc_md->restart hook for mpc5200 using the watchdog timer  */
void mpc52xx_restart(char *cmd)
/* mpc52xx_restart: ppc_md->restart hook for mpc5200 using the watchdog timer  */
void mpc52xx_restart(char *cmd)
{
	local_irq_disable();
	if (mpc52xx_wdt) {
		out_be32(&mpc52xx_wdt->mode, 0x00000000);
		out_be32(&mpc52xx_wdt->count, 0x000000ff);
		out_be32(&mpc52xx_wdt->mode, 0x00009004);
	} else
		printk(KERN_ERR __FILE__ ": "
			"mpc52xx_restart: Can't access wdt. "
			"Restart impossible, system halted.\n");
	while (1);
}