Searched refs:mpc52xx_restart (Results 1 – 5 of 5) sorted by relevance
83 .restart = mpc52xx_restart, in define_machine()
196 .restart = mpc52xx_restart, in define_machine()
255 .restart = mpc52xx_restart, in define_machine()
246 void __noreturn mpc52xx_restart(char *cmd) in mpc52xx_restart() function
278 extern void __noreturn mpc52xx_restart(char *cmd);
