Lines Matching refs:terminated_event
120 wait(ch2.terminated_event() & ch3.terminated_event());178 wait(ch5.terminated_event() & ch6.terminated_event());216 wait(ch8.terminated_event() & ch9.terminated_event());232 wait(gch10.terminated_event() & gch11.terminated_event());246 wait(gch12.terminated_event() & gch13.terminated_event());