From owner-svn-src-user@FreeBSD.ORG  Thu Feb  7 15:06:46 2013
Return-Path: <owner-svn-src-user@FreeBSD.ORG>
Delivered-To: svn-src-user@freebsd.org
Received: from mx1.freebsd.org (mx1.FreeBSD.org [8.8.178.115])
 by hub.freebsd.org (Postfix) with ESMTP id 03FA4802;
 Thu,  7 Feb 2013 15:06:46 +0000 (UTC)
 (envelope-from attilio@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 by mx1.freebsd.org (Postfix) with ESMTP id E6CA368B;
 Thu,  7 Feb 2013 15:06:45 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.5/8.14.5) with ESMTP id r17F6jNZ094604;
 Thu, 7 Feb 2013 15:06:45 GMT (envelope-from attilio@svn.freebsd.org)
Received: (from attilio@localhost)
 by svn.freebsd.org (8.14.5/8.14.5/Submit) id r17F6jP2094603;
 Thu, 7 Feb 2013 15:06:45 GMT (envelope-from attilio@svn.freebsd.org)
Message-Id: <201302071506.r17F6jP2094603@svn.freebsd.org>
From: Attilio Rao <attilio@FreeBSD.org>
Date: Thu, 7 Feb 2013 15:06:45 +0000 (UTC)
To: src-committers@freebsd.org, svn-src-user@freebsd.org
Subject: svn commit: r246474 - user/attilio/vmc-playground/sys/vm
X-SVN-Group: user
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-src-user@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: "SVN commit messages for the experimental &quot; user&quot;
 src tree" <svn-src-user.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-src-user>,
 <mailto:svn-src-user-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-user>
List-Post: <mailto:svn-src-user@freebsd.org>
List-Help: <mailto:svn-src-user-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-user>,
 <mailto:svn-src-user-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 07 Feb 2013 15:06:46 -0000

Author: attilio
Date: Thu Feb  7 15:06:45 2013
New Revision: 246474
URL: http://svnweb.freebsd.org/changeset/base/246474

Log:
  Strengten checks.

Modified:
  user/attilio/vmc-playground/sys/vm/vm_reserv.c

Modified: user/attilio/vmc-playground/sys/vm/vm_reserv.c
==============================================================================
--- user/attilio/vmc-playground/sys/vm/vm_reserv.c	Thu Feb  7 15:06:04 2013	(r246473)
+++ user/attilio/vmc-playground/sys/vm/vm_reserv.c	Thu Feb  7 15:06:45 2013	(r246474)
@@ -352,7 +352,7 @@ vm_reserv_alloc_contig(vm_object_t objec
 	}
 	msucc = vm_radix_lookup_ge(&object->rtree, pindex);
 	if (msucc != NULL) {
-		KASSERT(msucc->pindex != pindex,
+		KASSERT(msucc->pindex >= pindex,
 		    ("vm_reserv_alloc_page: pindex already allocated"));
 		rv = vm_reserv_from_page(msucc);
 		if (rv->object == object && vm_reserv_has_pindex(rv, pindex))
@@ -506,7 +506,7 @@ vm_reserv_alloc_page(vm_object_t object,
 	}
 	msucc = vm_radix_lookup_ge(&object->rtree, pindex);
 	if (msucc != NULL) {
-		KASSERT(msucc->pindex != pindex,
+		KASSERT(msucc->pindex <= pindex,
 		    ("vm_reserv_alloc_page: pindex already allocated"));
 		rv = vm_reserv_from_page(msucc);
 		if (rv->object == object && vm_reserv_has_pindex(rv, pindex))