ion_page_pool_destroy  289 drivers/staging/android/ion/ion.h void ion_page_pool_destroy(struct ion_page_pool *pool);
ion_page_pool_destroy  221 drivers/staging/android/ion/ion_system_heap.c 			ion_page_pool_destroy(pools[i]);