gasket_addr_is_simple  807 drivers/staging/gasket/gasket_page_table.c 	if (gasket_addr_is_simple(pg_tbl, dev_addr))
gasket_addr_is_simple 1022 drivers/staging/gasket/gasket_page_table.c 	if (gasket_addr_is_simple(pg_tbl, dev_addr)) {
gasket_addr_is_simple 1096 drivers/staging/gasket/gasket_page_table.c 	if (gasket_addr_is_simple(pg_tbl, dev_addr)) {
gasket_addr_is_simple 1168 drivers/staging/gasket/gasket_page_table.c 	if (gasket_addr_is_simple(pg_tbl, dev_addr))