/** * Initialize pool manager */ void mem_pools_init (void) { mem_pools = NULL; mem_free_chunks_number = 0; MEM_POOLS_STAT_INIT (); } /* mem_pools_init */
/** * Initialize pool manager */ void mem_pools_init (void) { #ifndef JERRY_NDEBUG mem_free_chunks_number = 0; #endif /* !JERRY_NDEBUG */ mem_free_chunk_p = NULL; MEM_POOLS_STAT_INIT (); } /* mem_pools_init */