k                 621 kernel/proc.c    int k;
k                 624 kernel/proc.c    k = p->killed;
k                 626 kernel/proc.c    return k;