Searched refs:execenv_data (Results 1 – 1 of 1) sorted by relevance
1494 const execenv_exec_data* execenv_data = in wait_any() local1498 const model::test_result& body_result = execenv_data->body_result; in wait_any()1519 % execenv_data->body_exit_handle.original_pid()); in wait_any()1522 handle = execenv_data->body_exit_handle; in wait_any()