gasket_page_table_is_dev_addr_bad  171 drivers/staging/gasket/gasket_ioctl.c 	if (gasket_page_table_is_dev_addr_bad(gasket_dev->page_table[ibuf.page_table_index],
gasket_page_table_is_dev_addr_bad 1145 drivers/staging/gasket/gasket_page_table.c 	return gasket_page_table_is_dev_addr_bad(pg_tbl, dev_addr, bytes);
gasket_page_table_is_dev_addr_bad 1173 drivers/staging/gasket/gasket_page_table.c EXPORT_SYMBOL(gasket_page_table_is_dev_addr_bad);
gasket_page_table_is_dev_addr_bad  181 drivers/staging/gasket/gasket_page_table.h bool gasket_page_table_is_dev_addr_bad(struct gasket_page_table *page_table,