/* At present, this routine just applies a system reset.  */
void ppc4xx_reset_system(char *cmd)
/* At present, this routine just applies a system reset.  */
void ppc4xx_reset_system(char *cmd)
{
	mtspr(SPRN_DBCR0, mfspr(SPRN_DBCR0) | DBCR0_RST_SYSTEM);
	while (1)
		;
}