Searched refs:gasket_page_table_reset (Results 1 – 3 of 3) sorted by relevance
122 void gasket_page_table_reset(struct gasket_page_table *page_table);
647 gasket_page_table_reset(gasket_dev->page_table[i]); in gasket_disable_device()1393 gasket_page_table_reset(gasket_dev->page_table[tbl_idx]); in gasket_enable_device()1606 gasket_page_table_reset(gasket_dev->page_table[i]); in gasket_reset_nolock()
1103 void gasket_page_table_reset(struct gasket_page_table *pg_tbl) in gasket_page_table_reset() function
