Searched refs:while_command (Results 1 – 4 of 4) sorted by relevance
34 extern void while_command (char *arg, int from_tty);
443 while_command (char *arg, int from_tty) in while_command() function
1585 (execute_control_command, while_command, if_command): Likewise.
478 while_command, if_command, arg_cleanup, setup_user_args, locate_arg,