85 exec_open (char *args, int from_tty)  in exec_open()  argument
87   target_preopen (from_tty);  in exec_open()
88   exec_file_attach (args, from_tty);  in exec_open()
147 exec_file_clear (int from_tty)  in exec_file_clear()  argument
152   if (from_tty)  in exec_file_clear()
176 exec_file_attach (char *filename, int from_tty)  in exec_file_attach()  argument
185       if (from_tty)  in exec_file_attach()
282 exec_file_command (char *args, int from_tty)  in exec_file_command()  argument
287   target_preopen (from_tty);  in exec_file_command()
308       exec_file_attach (filename, from_tty);  in exec_file_command()
311     exec_file_attach (NULL, from_tty);  in exec_file_command()
319 file_command (char *arg, int from_tty)  in file_command()  argument
323   exec_file_command (arg, from_tty);  in file_command()
324   symbol_file_command (arg, from_tty);  in file_command()
626 set_section_command (char *args, int from_tty)  in set_section_command()  argument
653 	  if (from_tty)  in set_section_command()