Symbol: ttm_pool_mgr_fini
drivers/gpu/drm/ttm/ttm_device.c
61
ttm_pool_mgr_fini();
include/drm/ttm/ttm_pool.h
98
void ttm_pool_mgr_fini(void);