Symbol: dcn31_resource_destruct
sys/dev/pci/drm/amd/display/dc/resource/dcn31/dcn31_resource.c
1582
dcn31_resource_destruct(dcn31_pool);
sys/dev/pci/drm/amd/display/dc/resource/dcn31/dcn31_resource.c
2216
dcn31_resource_destruct(pool);