1 #include "types.h" 2 #include "stat.h" 3 #include "user.h" 4 5 int 6 main(int argc, char **argv) /* */ 7 { 8 int i; 9 10 if(argc < 2){ 11 printf(2, "usage: kill pid...\n"); 12 exit(); 13 } 14 for(i=1; i<argc; i++) 15 kill(atoi(argv[i])); 16 exit(); 17 }