Searched refs:execenv_exec_data (Results 1 – 1 of 1) sorted by relevance
293 struct execenv_exec_data : public exec_data { struct312 execenv_exec_data(const model::test_program_ptr test_program_, in execenv_exec_data() argument1111 const exec_data_ptr data(new execenv_exec_data( in spawn_execenv_cleanup()1494 const execenv_exec_data* execenv_data = in wait_any()1495 &dynamic_cast< const execenv_exec_data& >(*data.get()); in wait_any()