Searched refs:rtas_restart (Results 1 – 3 of 3) sorted by relevance
226 .restart = rtas_restart, in define_machine()
580 .restart = rtas_restart, in define_machine()
430 void __noreturn rtas_restart(char *cmd);