gasket_page_table_reset  641 drivers/staging/gasket/gasket_core.c 			gasket_page_table_reset(gasket_dev->page_table[i]);
gasket_page_table_reset 1383 drivers/staging/gasket/gasket_core.c 		gasket_page_table_reset(gasket_dev->page_table[tbl_idx]);
gasket_page_table_reset 1615 drivers/staging/gasket/gasket_core.c 		gasket_page_table_reset(gasket_dev->page_table[i]);
gasket_page_table_reset  122 drivers/staging/gasket/gasket_page_table.h void gasket_page_table_reset(struct gasket_page_table *page_table);