Searched refs:pids_to_kill (Results 1 – 1 of 1) sorted by relevance
64 static pids_set pids_to_kill; variable110 for (pids_set::const_iterator iter = pids_to_kill.begin(); in signal_handler()111 iter != pids_to_kill.end(); ++iter) { in signal_handler()290 PRE(pids_to_kill.find(pid) == pids_to_kill.end()); in add_pid_to_kill()291 pids_to_kill.insert(pid); in add_pid_to_kill()307 PRE(pids_to_kill.find(pid) != pids_to_kill.end()); in remove_pid_to_kill()308 pids_to_kill.erase(pid); in remove_pid_to_kill()