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