kexit              82 kernel/defs.h  void            kexit(int);
kexit              15 kernel/sysproc.c   kexit(n);
kexit              58 kernel/trap.c        kexit(-1);
kexit              81 kernel/trap.c      kexit(-1);