Symbol: ttm_pool_mgr_fini
sys/dev/pci/drm/include/drm/ttm/ttm_pool.h
108
void ttm_pool_mgr_fini(void);
sys/dev/pci/drm/ttm/ttm_device.c
60
ttm_pool_mgr_fini();