gasket_page_table_are_addrs_bad  145 drivers/staging/gasket/gasket_ioctl.c 	if (gasket_page_table_are_addrs_bad(gasket_dev->page_table[ibuf.page_table_index],
gasket_page_table_are_addrs_bad 1147 drivers/staging/gasket/gasket_page_table.c EXPORT_SYMBOL(gasket_page_table_are_addrs_bad);
gasket_page_table_are_addrs_bad  165 drivers/staging/gasket/gasket_page_table.h bool gasket_page_table_are_addrs_bad(struct gasket_page_table *page_table,