Searched refs:cmd_reboot (Results 1 – 3 of 3) sorted by relevance
47 int cmd_reboot(int, char **, int);
48 { "reboot", cmd_reboot },
225 cmd_reboot(int argc, char *argp[], int interactive) in cmd_reboot() function