k                 629 kernel/proc.c    int k;
k                 632 kernel/proc.c    k = p->killed;
k                 634 kernel/proc.c    return k;