Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 9 Jan 2014 03:24:36 +0000 (UTC)
From:      Konstantin Belousov <kib@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-stable@freebsd.org, svn-src-stable-10@freebsd.org
Subject:   svn commit: r260464 - stable/10/sys/amd64/amd64
Message-ID:  <201401090324.s093OaDQ013684@svn.freebsd.org>

next in thread | raw e-mail | index | archive | help
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;
 }
 



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201401090324.s093OaDQ013684>