Symbol: dcn31_resource_destruct
drivers/gpu/drm/amd/display/dc/resource/dcn31/dcn31_resource.c
1738
dcn31_resource_destruct(dcn31_pool);
drivers/gpu/drm/amd/display/dc/resource/dcn31/dcn31_resource.c
2394
dcn31_resource_destruct(pool);