Searched refs:mpc52xx_restart (Results 1 – 4 of 4) 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
278 extern void __noreturn mpc52xx_restart(char *cmd);