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()
84 .restart = ppc4xx_reset_system, in define_machine()
58 .restart = ppc4xx_reset_system, in define_machine()
117 .restart = ppc4xx_reset_system, in define_machine()
160 .restart = ppc4xx_reset_system, in define_machine()
291 .restart = ppc4xx_reset_system, in define_machine()
56 .restart = ppc4xx_reset_system, in define_machine()
315 .restart = ppc4xx_reset_system, in define_machine()
76 .restart = ppc4xx_reset_system, in define_machine()
193 void ppc4xx_reset_system(char *cmd) in ppc4xx_reset_system() function