Searched refs:reg_pool (Results 1 – 2 of 2) sorted by relevance
138 object_allocator<df_reg_info> *reg_pool; member192 delete problem_data->reg_pool; in df_scan_free_internal()252 problem_data->reg_pool = new object_allocator<df_reg_info> in df_scan_alloc()482 reg_info = problem_data->reg_pool->allocate (); in df_grow_reg_info()485 reg_info = problem_data->reg_pool->allocate (); in df_grow_reg_info()488 reg_info = problem_data->reg_pool->allocate (); in df_grow_reg_info()