Searched refs:ppc4xx_reset_system (Results 1 – 11 of 11) sorted by relevance
11 extern void __noreturn ppc4xx_reset_system(char *cmd);
62 .restart = ppc4xx_reset_system, in define_machine()
85 .restart = ppc4xx_reset_system, in define_machine()
59 .restart = ppc4xx_reset_system, in define_machine()
116 .restart = ppc4xx_reset_system, in define_machine()
160 .restart = ppc4xx_reset_system, in define_machine()
291 .restart = ppc4xx_reset_system, in define_machine()
55 .restart = ppc4xx_reset_system, in define_machine()
315 .restart = ppc4xx_reset_system, in define_machine()
77 .restart = ppc4xx_reset_system, in define_machine()
193 void ppc4xx_reset_system(char *cmd) in ppc4xx_reset_system() function
Completed in 15 milliseconds