gasket_page_table_system_status  424 drivers/staging/gasket/gasket_core.c 		status = gasket_page_table_system_status(gasket_dev->page_table[i]);
gasket_page_table_system_status  212 drivers/staging/gasket/gasket_page_table.h int gasket_page_table_system_status(struct gasket_page_table *page_table);