k                 635 kernel/proc.c    int k;
k                 638 kernel/proc.c    k = p->killed;
k                 640 kernel/proc.c    return k;