Searched refs:mpc52xx_restart (Results 1 – 5 of 5) sorted by relevance
70 .restart = mpc52xx_restart, in define_machine()
183 .restart = mpc52xx_restart, in define_machine()
207 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);