gasket_page_table_cleanup  642 drivers/staging/gasket/gasket_core.c 			gasket_page_table_cleanup(gasket_dev->page_table[i]);
gasket_page_table_cleanup   64 drivers/staging/gasket/gasket_page_table.h void gasket_page_table_cleanup(struct gasket_page_table *page_table);