Searched refs:exec_data_ptr (Results 1 – 1 of 1) sorted by relevance
328 typedef std::shared_ptr< exec_data > exec_data_ptr; typedef332 typedef std::map< int, exec_data_ptr > exec_data_map;956 const exec_data_ptr data = (*iter).second; in tests_needing_cleanup()987 const exec_data_ptr data = (*iter).second; in tests_needing_execenv_cleanup()1057 const exec_data_ptr data(new cleanup_exec_data( in spawn_cleanup()1112 const exec_data_ptr data(new execenv_exec_data( in spawn_execenv_cleanup()1312 const exec_data_ptr data(new test_exec_data( in spawn_test()1342 exec_data_ptr data = (*iter).second; in wait_any()1485 exec_data_ptr d = (*it).second; in wait_any()