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