svn commit: r260464 - stable/10/sys/amd64/amd64

[Konstantin Belousov]

Author: kib
Date: Thu Jan  9 03:24:36 2014
New Revision: 260464
URL: http://svnweb.freebsd.org/changeset/base/260464

Log:
  MFC r260204:
  Assert that accounting for the pmap resident pages does not underflow.

Modified:
  stable/10/sys/amd64/amd64/pmap.c
Directory Properties:
  stable/10/   (props changed)

Modified: stable/10/sys/amd64/amd64/pmap.c
==============================================================================
--- stable/10/sys/amd64/amd64/pmap.c	Thu Jan  9 01:48:33 2014	(r260463)
+++ stable/10/sys/amd64/amd64/pmap.c	Thu Jan  9 03:24:36 2014	(r260464)
@@ -608,6 +608,9 @@ pmap_resident_count_dec(pmap_t pmap, int
 {
 
 	PMAP_LOCK_ASSERT(pmap, MA_OWNED);
+	KASSERT(pmap->pm_stats.resident_count >= count,
+	    ("pmap %p resident count underflow %ld %d", pmap,
+	    pmap->pm_stats.resident_count, count));
 	pmap->pm_stats.resident_count -= count;
 }