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