Searched refs:shell_cmd_reboot (Results 1 – 2 of 2) sorted by relevance
124 int shell_cmd_reboot(int argc, char **argv);
32 {"reboot", shell_cmd_reboot},566 int shell_cmd_reboot(int argc, char **argv) in shell_cmd_reboot() function