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

[Attilio Rao]

Author: attilio
Date: Thu Feb  7 15:08:35 2013
New Revision: 246475
URL: http://svnweb.freebsd.org/changeset/base/246475

Log:
  Correctly complete r246474.

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:45 2013	(r246474)
+++ user/attilio/vmc-playground/sys/vm/vm_reserv.c	Thu Feb  7 15:08:35 2013	(r246475)
@@ -344,7 +344,7 @@ vm_reserv_alloc_contig(vm_object_t objec
 	 */
 	mpred = vm_radix_lookup_le(&object->rtree, pindex);
 	if (mpred != NULL) {
-		KASSERT(mpred->pindex != pindex,
+		KASSERT(mpred->pindex <= pindex,
 		    ("vm_reserv_alloc_contig: pindex already allocated"));
 		rv = vm_reserv_from_page(mpred);
 		if (rv->object == object && vm_reserv_has_pindex(rv, pindex))
@@ -498,7 +498,7 @@ vm_reserv_alloc_page(vm_object_t object,
 	 */
 	mpred = vm_radix_lookup_le(&object->rtree, pindex);
 	if (mpred != NULL) {
-		KASSERT(mpred->pindex != pindex,
+		KASSERT(mpred->pindex <= pindex,
 		    ("vm_reserv_alloc_page: pindex already allocated"));
 		rv = vm_reserv_from_page(mpred);
 		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))