Searched defs:execfile (Results 1 – 3 of 3) sorted by relevance
53 char *execfile = NULL; in main() local108 exec_userfile(char *execfile, int id, char **envp) in exec_userfile()
51 char *execfile = NULL; /* name of file to exec after loading */ in main() local118 l_exec_userfile(char *execfile, int id, char **envp) in l_exec_userfile()
88 caddr_t execfile, cred_t *cred, int brand_action) in javaexec()