Searched refs:shell_cmd_kill (Results 1 – 2 of 2) sorted by relevance
154 int shell_cmd_kill(int argc, char **argv);
38 {"kill", shell_cmd_kill},544 int shell_cmd_kill(int argc, char **argv) in shell_cmd_kill() function