Searched refs:kill_command (Results 1 – 1 of 1) sorted by relevance
57 static void kill_command (char *, int);575 kill_command (char *arg, int from_tty) in kill_command() function739 add_com ("kill", class_run, kill_command, in _initialize_inflow()