dc_destroy_resource_pool  534 drivers/gpu/drm/amd/display/dc/core/dc.c 	dc_destroy_resource_pool(dc);
dc_destroy_resource_pool   87 drivers/gpu/drm/amd/display/dc/inc/resource.h void dc_destroy_resource_pool(struct dc *dc);