Searched refs:deferred_change_pool (Results 1 – 2 of 2) sorted by relevance
566 static alloc_pool deferred_change_pool; variable785 deferred_change_pool in dse_step0()2106 (deferred_change_t) pool_alloc (deferred_change_pool); in replace_read()2870 pool_free (deferred_change_pool, deferred_change_list); in dse_step1()3980 free_alloc_pool (deferred_change_pool); in dse_step7()
580 static object_allocator<deferred_change> deferred_change_pool1999 deferred_change *change = deferred_change_pool.allocate (); in replace_read()2709 deferred_change_pool.remove (deferred_change_list); in dse_step1()3556 deferred_change_pool.release (); in dse_step7()