Lines Matching full:died
2036 that died since the previous round of pruning.
2038 We don't actually need to keep the set of threads that have ever died --
2039 only the threads that have died since the previous round of
3062 /* No need to do pruning if no thread died since the last pruning as
3068 /* Sort and check the very dead threads that died since the last pruning.
