Searched refs:mpc52xx_restart (Results 1 – 5 of 5) sorted by relevance
78 .restart = mpc52xx_restart, in define_machine()
191 .restart = mpc52xx_restart, in define_machine()
209 void __noreturn mpc52xx_restart(char *cmd) in mpc52xx_restart() function
238 .restart = mpc52xx_restart, in define_machine()
278 extern void __noreturn mpc52xx_restart(char *cmd);