gasket_page_table_max_size  110 drivers/staging/gasket/gasket_ioctl.c 	max_page_table_size = gasket_page_table_max_size(
gasket_page_table_max_size 1182 drivers/staging/gasket/gasket_page_table.c EXPORT_SYMBOL(gasket_page_table_max_size);
gasket_page_table_max_size  188 drivers/staging/gasket/gasket_page_table.h uint gasket_page_table_max_size(struct gasket_page_table *page_table);