Example #1
0
/**
 * 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 */
Example #2
0
/**
 * 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 */