Searched refs:exec_data_ptr (Results 1 – 1 of 1) sorted by relevance
327 typedef std::shared_ptr< exec_data > exec_data_ptr; typedef331 typedef std::map< int, exec_data_ptr > exec_data_map;955 const exec_data_ptr data = (*iter).second; in tests_needing_cleanup()986 const exec_data_ptr data = (*iter).second; in tests_needing_execenv_cleanup()1056 const exec_data_ptr data(new cleanup_exec_data( in spawn_cleanup()1111 const exec_data_ptr data(new execenv_exec_data( in spawn_execenv_cleanup()1309 const exec_data_ptr data(new test_exec_data( in spawn_test()1339 exec_data_ptr data = (*iter).second; in wait_any()1472 exec_data_ptr d = (*it).second; in wait_any()