Searched refs:ref_artificial_pool (Results 1 – 2 of 2) sorted by relevance
135 object_allocator<df_artificial_ref> *ref_artificial_pool; member189 delete problem_data->ref_artificial_pool; in df_scan_free_internal()246 problem_data->ref_artificial_pool = new object_allocator<df_artificial_ref> in df_scan_alloc()707 problem_data->ref_artificial_pool->remove in df_free_ref()2491 this_ref = (df_ref) (problem_data->ref_artificial_pool->allocate ()); in df_ref_create_structure()
135 object_allocator<df_artificial_ref> *ref_artificial_pool; member189 delete problem_data->ref_artificial_pool; in df_scan_free_internal()246 problem_data->ref_artificial_pool = new object_allocator<df_artificial_ref> in df_scan_alloc()707 problem_data->ref_artificial_pool->remove in df_free_ref()2490 this_ref = (df_ref) (problem_data->ref_artificial_pool->allocate ()); in df_ref_create_structure()