svn commit: r246474 - user/attilio/vmc-playground/sys/vm

[Attilio Rao]

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))