Searched refs:exec_userfile (Results 1 – 1 of 1) sorted by relevance
39 void exec_userfile(char *execfile, int id, char **envp);80 exec_userfile(execfile, id, envp); in main()108 exec_userfile(char *execfile, int id, char **envp) in exec_userfile() function