Searched refs:ref_regular_pool (Results 1 – 2 of 2) sorted by relevance
136 object_allocator<df_regular_ref> *ref_regular_pool; member190 delete problem_data->ref_regular_pool; in df_scan_free_internal()248 problem_data->ref_regular_pool = new object_allocator<df_regular_ref> in df_scan_alloc()712 problem_data->ref_regular_pool->remove in df_free_ref()2497 this_ref = (df_ref) (problem_data->ref_regular_pool->allocate ()); in df_ref_create_structure()
136 object_allocator<df_regular_ref> *ref_regular_pool; member190 delete problem_data->ref_regular_pool; in df_scan_free_internal()248 problem_data->ref_regular_pool = new object_allocator<df_regular_ref> in df_scan_alloc()712 problem_data->ref_regular_pool->remove in df_free_ref()2496 this_ref = (df_ref) (problem_data->ref_regular_pool->allocate ()); in df_ref_create_structure()