Searched refs:rd_childen (Results 1 – 1 of 1) sorted by relevance
154 let rd_childen = current_pcb.children.read(); in do_wait() localVariable156 for pid in rd_childen.iter() { in do_wait()