Searched refs:gasket_page_table_garbage_collect (Results 1 – 3 of 3) sorted by relevance
131 void gasket_page_table_garbage_collect(struct gasket_page_table *page_table);
362 void gasket_page_table_garbage_collect(struct gasket_page_table *pg_tbl) in gasket_page_table_garbage_collect() function373 gasket_page_table_garbage_collect(pg_tbl); in gasket_page_table_cleanup()
1288 gasket_page_table_garbage_collect(gasket_dev->page_table[i]); in gasket_release()
