Searched refs:rtas_restart (Results 1 – 4 of 4) sorted by relevance
580 .restart = rtas_restart, in define_machine()
438 void __noreturn rtas_restart(char *cmd);
1173 .restart = rtas_restart, in define_machine()
1611 void __noreturn rtas_restart(char *cmd) in rtas_restart() function