diff options
| author | attilio <attilio@FreeBSD.org> | 2013-02-07 15:06:45 +0000 |
|---|---|---|
| committer | attilio <attilio@FreeBSD.org> | 2013-02-07 15:06:45 +0000 |
| commit | 5ab232ef169dc3c6407d0b6b69b8c190faf75bfa (patch) | |
| tree | ebbb1f81660733800c566463abcd845d4779b29c /sys/vm/vm_reserv.c | |
| parent | 59f669fb8246176df18ad595c0cf93b8c1aa765b (diff) | |
| download | FreeBSD-src-5ab232ef169dc3c6407d0b6b69b8c190faf75bfa.zip FreeBSD-src-5ab232ef169dc3c6407d0b6b69b8c190faf75bfa.tar.gz | |
Strengten checks.
Diffstat (limited to 'sys/vm/vm_reserv.c')
| -rw-r--r-- | sys/vm/vm_reserv.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/vm/vm_reserv.c b/sys/vm/vm_reserv.c index 6d3d996..b853910 100644 --- a/sys/vm/vm_reserv.c +++ b/sys/vm/vm_reserv.c @@ -352,7 +352,7 @@ vm_reserv_alloc_contig(vm_object_t object, vm_pindex_t pindex, u_long npages, } 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, 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)) |
