kill               92 kernel/defs.h  int             kill(int);
kill               79 kernel/sysproc.c   return kill(pid);
kill              145 user/grind.c         kill(pid);
kill              150 user/grind.c           kill(getpid());
kill              327 user/grind.c       kill(pid1);
kill              328 user/grind.c       kill(pid2);
kill               15 user/kill.c        kill(atoi(argv[i]));
kill               11 user/user.h    int kill(int);
kill              811 user/usertests.c     kill(pid1);
kill              868 user/usertests.c   kill(pid1);
kill              869 user/usertests.c   kill(pid2);
kill              870 user/usertests.c   kill(pid3);
kill              926 user/usertests.c         kill(master_pid);
kill             2206 user/usertests.c     kill(pids[i]);