Searched refs:pids_to_kill (Results 1 – 1 of 1) sorted by relevance
59 static pids_set pids_to_kill; variable105 for (pids_set::const_iterator iter = pids_to_kill.begin(); in signal_handler()106 iter != pids_to_kill.end(); ++iter) { in signal_handler()242 PRE(pids_to_kill.find(pid) == pids_to_kill.end()); in add_pid_to_kill()243 pids_to_kill.insert(pid); in add_pid_to_kill()259 PRE(pids_to_kill.find(pid) != pids_to_kill.end()); in remove_pid_to_kill()260 pids_to_kill.erase(pid); in remove_pid_to_kill()