/** * Finalize pool manager */ void mem_pools_finalize (void) { mem_pools_collect_empty (); #ifndef JERRY_NDEBUG JERRY_ASSERT (mem_free_chunks_number == 0); #endif /* !JERRY_NDEBUG */ } /* mem_pools_finalize */
/** * Run 'try to give memory back' callbacks with specified severity */ void mem_run_try_to_give_memory_back_callbacks (mem_try_give_memory_back_severity_t severity) /**< severity of the request */ { if (mem_try_give_memory_back_callback != NULL) { mem_try_give_memory_back_callback (severity); } mem_pools_collect_empty (); } /* mem_run_try_to_give_memory_back_callbacks */