svn commit: r316851 - head/sys/x86/iommu

[Konstantin Belousov]

Author: kib
Date: Fri Apr 14 15:16:41 2017
New Revision: 316851
URL: https://svnweb.freebsd.org/changeset/base/316851

Log:
  Correct calculation of the entry->free_down in the invariants-checking
  code.
  
  Reported by:	maxim
  Found by:	PVS studio scan
  Sponsored by:	The FreeBSD Foundation
  MFC after:	1 week

Modified:
  head/sys/x86/iommu/intel_gas.c

Modified: head/sys/x86/iommu/intel_gas.c
==============================================================================
--- head/sys/x86/iommu/intel_gas.c	Fri Apr 14 15:09:30 2017	(r316850)
+++ head/sys/x86/iommu/intel_gas.c	Fri Apr 14 15:16:41 2017	(r316851)
@@ -198,7 +198,7 @@ dmar_gas_check_free(struct dmar_domain *
 			    l->free_down));
 		} else {
 			v = MAX(entry->free_after, l->free_down);
-			v = MAX(entry->free_down, r->free_down);
+			v = MAX(v, r->free_down);
 			MPASS(entry->free_down == v);
 		}
 	}