has_mapped_anything 1017 drivers/staging/gasket/gasket_core.c int has_mapped_anything = 0; has_mapped_anything 1128 drivers/staging/gasket/gasket_core.c has_mapped_anything = 1; has_mapped_anything 1134 drivers/staging/gasket/gasket_core.c if (!has_mapped_anything) {