Searched refs:execenv_data (Results 1 – 1 of 1) sorted by relevance
1507 const execenv_exec_data* execenv_data = in wait_any() local1511 const model::test_result& body_result = execenv_data->body_result; in wait_any()1532 % execenv_data->body_exit_handle.original_pid()); in wait_any()1535 handle = execenv_data->body_exit_handle; in wait_any()