user/kill.c

1#include "kernel/types.h"2#include "kernel/stat.h"3#include "user/user.h"45int6main(int argc, char **argv)7{8  int i;910  if(argc < 2){11    fprintf(2, "usage: kill pid...\n");12    exit(1);13  }14  for(i=1; i<argc; i++)15    kill(atoi(argv[i]));16  exit(0);17}18