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);