exec               26 kernel/defs.h  int             exec(char*, char**);
exec              464 kernel/sysfile.c   int ret = exec(path, argv);
exec              246 user/grind.c           exec("grindir/../echo", args);
exec              270 user/grind.c           exec("/cat", args);
exec               34 user/init.c          exec("sh", argv);
exec               79 user/sh.c          exec(ecmd->argv[0], ecmd->argv);
exec               12 user/user.h    int exec(const char*, char**);
exec              167 user/usertests.c   ret = exec(b, args);
exec              184 user/usertests.c     ret = exec("echo", args2);
exec              237 user/usertests.c   ret = exec(b, args);
exec              705 user/usertests.c     if(exec("echo", echoargv) < 0){
exec             2321 user/usertests.c     exec("echo", args);
exec             2471 user/usertests.c   exec(big, argv);
exec             2583 user/usertests.c     exec("echo", argv);
exec             2820 user/usertests.c       exec("echo", args);