mpc8xx_restart    109 arch/powerpc/platforms/8xx/adder875.c 	.restart = mpc8xx_restart,
mpc8xx_restart    171 arch/powerpc/platforms/8xx/ep88xc.c 	.restart = mpc8xx_restart,
mpc8xx_restart    145 arch/powerpc/platforms/8xx/mpc86xads_setup.c 	.restart		= mpc8xx_restart,
mpc8xx_restart    221 arch/powerpc/platforms/8xx/mpc885ads_setup.c 	.restart		= mpc8xx_restart,
mpc8xx_restart     14 arch/powerpc/platforms/8xx/mpc8xx.h extern void __noreturn mpc8xx_restart(char *cmd);
mpc8xx_restart    147 arch/powerpc/platforms/8xx/tqm8xx_setup.c 	.restart		= mpc8xx_restart,