Searched refs:execenv_exec_data (Results 1 – 1 of 1) sorted by relevance
294 struct execenv_exec_data : public exec_data { struct313 execenv_exec_data(const model::test_program_ptr test_program_, in execenv_exec_data() function1112 const exec_data_ptr data(new execenv_exec_data( in spawn_execenv_cleanup()1507 const execenv_exec_data* execenv_data = in wait_any()1508 &dynamic_cast< const execenv_exec_data& >(*data.get()); in wait_any()