kkill              89 kernel/defs.h  int             kkill(int);
kkill              98 kernel/sysproc.c   return kkill(pid);