Index: sys/dev/iommu/iommu_gas.c
===================================================================
--- sys/dev/iommu/iommu_gas.c
+++ sys/dev/iommu/iommu_gas.c
@@ -274,7 +274,7 @@
 void
 iommu_gas_fini_domain(struct iommu_domain *domain)
 {
-	struct iommu_map_entry *entry, *entry1;
+	struct iommu_map_entry *entry;
 
 	IOMMU_DOMAIN_ASSERT_LOCKED(domain);
 	KASSERT(domain->entries_cnt == 2,
@@ -297,14 +297,6 @@
 	    ("end entry flags %p", domain));
 	iommu_gas_rb_remove(domain, entry);
 	iommu_gas_free_entry(entry);
-
-	RB_FOREACH_SAFE(entry, iommu_gas_entries_tree, &domain->rb_root,
-	    entry1) {
-		KASSERT((entry->flags & IOMMU_MAP_ENTRY_RMRR) != 0,
-		    ("non-RMRR entry left %p", domain));
-		iommu_gas_rb_remove(domain, entry);
-		iommu_gas_free_entry(entry);
-	}
 }
 
 struct iommu_gas_match_args {