diff options
author | attilio <attilio@FreeBSD.org> | 2013-02-07 15:08:35 +0000 |
---|---|---|
committer | attilio <attilio@FreeBSD.org> | 2013-02-07 15:08:35 +0000 |
commit | 702feea4c3aa3efd3e40f91038ff73c96b0aadd4 (patch) | |
tree | afaa58f0ff134fb5eeeb370bb68143fbc5d43701 | |
parent | 5ab232ef169dc3c6407d0b6b69b8c190faf75bfa (diff) | |
download | FreeBSD-src-702feea4c3aa3efd3e40f91038ff73c96b0aadd4.zip FreeBSD-src-702feea4c3aa3efd3e40f91038ff73c96b0aadd4.tar.gz |
Correctly complete r246474.
-rw-r--r-- | sys/vm/vm_reserv.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/vm/vm_reserv.c b/sys/vm/vm_reserv.c index b853910..cf42558 100644 --- a/sys/vm/vm_reserv.c +++ b/sys/vm/vm_reserv.c @@ -344,7 +344,7 @@ vm_reserv_alloc_contig(vm_object_t object, vm_pindex_t pindex, u_long npages, */ 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, vm_pindex_t pindex) */ 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, vm_pindex_t pindex) } 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)) |