/* * Destroy specified VCM memory backend */ static void vcm_memory_backend_destroy(ump_memory_backend * backend) { vcm_allocator * info = (vcm_allocator*)backend->ctx; #if 0 DBG_MSG_IF(1, 0 != info->num_pages_allocated, ("%d pages still in use during shutdown\n", info->num_pages_allocated)); #endif kfree(info); kfree(backend); }
/* * Destroy specified dedicated memory backend */ static void block_allocator_shutdown(ump_memory_backend * backend) { block_allocator * allocator; BUG_ON(!backend); BUG_ON(!backend->ctx); allocator = (block_allocator*)backend->ctx; DBG_MSG_IF(1, allocator->num_free != allocator->num_blocks, ("%u blocks still in use during shutdown\n", allocator->num_blocks - allocator->num_free)); kfree(allocator->all_blocks); kfree(allocator); kfree(backend); }