gasket_page_table_garbage_collect 1284 drivers/staging/gasket/gasket_core.c 				gasket_page_table_garbage_collect(gasket_dev->page_table[i]);
gasket_page_table_garbage_collect  379 drivers/staging/gasket/gasket_page_table.c 	gasket_page_table_garbage_collect(pg_tbl);
gasket_page_table_garbage_collect  131 drivers/staging/gasket/gasket_page_table.h void gasket_page_table_garbage_collect(struct gasket_page_table *page_table);