gasket_page_table_unmap  175 drivers/staging/gasket/gasket_ioctl.c 	gasket_page_table_unmap(gasket_dev->page_table[ibuf.page_table_index],
gasket_page_table_unmap 1054 drivers/staging/gasket/gasket_page_table.c EXPORT_SYMBOL(gasket_page_table_unmap);
gasket_page_table_unmap  108 drivers/staging/gasket/gasket_page_table.h void gasket_page_table_unmap(struct gasket_page_table *page_table,