setkilled          90 kernel/defs.h  void            setkilled(struct proc*);
setkilled          77 kernel/trap.c      setkilled(p);