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);
640 gasket_page_table_reset(gasket_dev->page_table[i]); in gasket_disable_device()1379 gasket_page_table_reset(gasket_dev->page_table[tbl_idx]); in gasket_enable_device()1611 gasket_page_table_reset(gasket_dev->page_table[i]); in gasket_reset_nolock()
1079 void gasket_page_table_reset(struct gasket_page_table *pg_tbl) in gasket_page_table_reset() function
