Searched refs:gasket_page_table_cleanup (Results 1 – 3 of 3) sorted by relevance
64 void gasket_page_table_cleanup(struct gasket_page_table *page_table);
370 void gasket_page_table_cleanup(struct gasket_page_table *pg_tbl) in gasket_page_table_cleanup() function
648 gasket_page_table_cleanup(gasket_dev->page_table[i]); in gasket_disable_device()
