Searched refs:ppc4xx_reset_system (Results 1 – 9 of 9) sorted by relevance
279 .restart = ppc4xx_reset_system, in define_machine()289 .restart = ppc4xx_reset_system, in define_machine()
60 .restart = ppc4xx_reset_system, in define_machine()
56 .restart = ppc4xx_reset_system, in define_machine()
84 .restart = ppc4xx_reset_system, in define_machine()
116 .restart = ppc4xx_reset_system, in define_machine()
149 .restart = ppc4xx_reset_system, in define_machine()
194 void ppc4xx_reset_system(char *cmd) in ppc4xx_reset_system() function
51 .restart = ppc4xx_reset_system, in define_machine()
11 extern void __noreturn ppc4xx_reset_system(char *cmd);