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