exec               25 defs.h         int             exec(char*, char**);
exec               30 init.c               exec("sh", argv);
exec               78 sh.c               exec(ecmd->argv[0], ecmd->argv);
exec              417 sysfile.c        return exec(path, argv);
exec               13 user.h         int exec(char*, char**);
exec              297 usertests.c      if(exec("echo", echoargv) < 0){
exec             1626 usertests.c        exec("echo", args);