Searched refs:set_task_pause_cmd (Results 1 – 1 of 1) sorted by relevance
2728 set_task_pause_cmd (char *args, int from_tty) in set_task_pause_cmd() function3002 set_task_pause_cmd (inv_args, from_tty); in set_noninvasive_cmd()3149 add_cmd ("pause", class_run, set_task_pause_cmd, in add_task_commands()