Searched refs:shell_cmd_kill (Results 1 – 2 of 2) sorted by relevance
154 int shell_cmd_kill(int argc, char **argv);
27 {"help", shell_help}, {"pipe", shell_pipe_test}, {"kill", shell_cmd_kill},533 int shell_cmd_kill(int argc, char **argv) in shell_cmd_kill() function