Searched refs:kill_command (Results 1 – 1 of 1) sorted by relevance
2327 kill_command (char *arg, int from_tty) in kill_command() function3011 add_prefix_cmd ("kill", class_run, kill_command, in _initialize_infcmd()