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