Searched refs:exec_open (Results 1 – 3 of 3) sorted by relevance
119 extern void exec_open (char *filename, int from_tty);
89 exec_open (char *args, int from_tty) in exec_open() function701 exec_ops.to_open = exec_open; in init_exec_ops()
167 exec_open (filename, 0); in reopen_exec_file()