Searched refs:do_kernel_restart (Results 1 – 5 of 5) sorted by relevance
38 do_kernel_restart(command); in machine_restart()
43 extern void do_kernel_restart(char *cmd);
146 do_kernel_restart(cmd); in machine_restart()
158 do_kernel_restart(cmd); in machine_restart()
183 void do_kernel_restart(char *cmd) in do_kernel_restart() function