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               14 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             2320 user/usertests.c     exec("echo", args);
exec             2470 user/usertests.c   exec(big, argv);
exec             2582 user/usertests.c     exec("echo", argv);
exec             2934 user/usertests.c       exec("echo", args);