gasket_page_table_partition  122 drivers/staging/gasket/gasket_ioctl.c 	ret = gasket_page_table_partition(
gasket_page_table_partition  422 drivers/staging/gasket/gasket_page_table.c EXPORT_SYMBOL(gasket_page_table_partition);
gasket_page_table_partition   79 drivers/staging/gasket/gasket_page_table.h int gasket_page_table_partition(struct gasket_page_table *page_table,