k                 624 kernel/proc.c    int k;
k                 627 kernel/proc.c    k = p->killed;
k                 629 kernel/proc.c    return k;