Searched refs:ref_base_pool (Results 1 – 2 of 2) sorted by relevance
134 object_allocator<df_base_ref> *ref_base_pool; member188 delete problem_data->ref_base_pool; in df_scan_free_internal()244 problem_data->ref_base_pool = new object_allocator<df_base_ref> in df_scan_alloc()703 problem_data->ref_base_pool->remove ((df_base_ref *) (ref)); in df_free_ref()2486 this_ref = (df_ref) (problem_data->ref_base_pool->allocate ()); in df_ref_create_structure()
134 object_allocator<df_base_ref> *ref_base_pool; member188 delete problem_data->ref_base_pool; in df_scan_free_internal()244 problem_data->ref_base_pool = new object_allocator<df_base_ref> in df_scan_alloc()703 problem_data->ref_base_pool->remove ((df_base_ref *) (ref)); in df_free_ref()2485 this_ref = (df_ref) (problem_data->ref_base_pool->allocate ()); in df_ref_create_structure()