kkill              88 kernel/defs.h  int             kkill(int);
kkill              93 kernel/sysproc.c   return kkill(pid);