max_page_table_size   99 drivers/staging/gasket/gasket_ioctl.c 	uint max_page_table_size;
max_page_table_size  110 drivers/staging/gasket/gasket_ioctl.c 	max_page_table_size = gasket_page_table_max_size(
max_page_table_size  113 drivers/staging/gasket/gasket_ioctl.c 	if (ibuf.size > max_page_table_size) {
max_page_table_size  116 drivers/staging/gasket/gasket_ioctl.c 			ibuf.size, max_page_table_size);