diff --git a/sys/vm/vm_page.c b/sys/vm/vm_page.c index 864cfb6a91e..873a96be351 100644 --- a/sys/vm/vm_page.c +++ b/sys/vm/vm_page.c @@ -1783,7 +1783,9 @@ again: */ KASSERT(m != NULL, ("missing page")); +#if VM_NRESERVLEVEL > 0 found: +#endif vm_page_alloc_check(m); /* diff --git a/sys/vm/vm_reserv.c b/sys/vm/vm_reserv.c index 79f47ccb090..d8869e3bdbe 100644 --- a/sys/vm/vm_reserv.c +++ b/sys/vm/vm_reserv.c @@ -419,7 +419,7 @@ vm_reserv_depopulate(vm_reserv_t rv, int index) index)); KASSERT(rv->popcnt > 0, ("vm_reserv_depopulate: reserv %p's popcnt is corrupted", rv)); - KASSERT(rv->domain >= 0 && rv->domain < vm_ndomains, + KASSERT(rv->domain < vm_ndomains, ("vm_reserv_depopulate: reserv %p's domain is corrupted %d", rv, rv->domain)); if (rv->popcnt == VM_LEVEL_0_NPAGES) { @@ -531,7 +531,7 @@ vm_reserv_populate(vm_reserv_t rv, int index) ("vm_reserv_populate: reserv %p is already full", rv)); KASSERT(rv->pages->psind == 0, ("vm_reserv_populate: reserv %p is already promoted", rv)); - KASSERT(rv->domain >= 0 && rv->domain < vm_ndomains, + KASSERT(rv->domain < vm_ndomains, ("vm_reserv_populate: reserv %p's domain is corrupted %d", rv, rv->domain)); popmap_set(rv->popmap, index); @@ -1218,7 +1218,7 @@ vm_reserv_reclaim(vm_reserv_t rv) vm_reserv_domain_lock(rv->domain); KASSERT(rv->inpartpopq, ("vm_reserv_reclaim: reserv %p's inpartpopq is FALSE", rv)); - KASSERT(rv->domain >= 0 && rv->domain < vm_ndomains, + KASSERT(rv->domain < vm_ndomains, ("vm_reserv_reclaim: reserv %p's domain is corrupted %d", rv, rv->domain)); TAILQ_REMOVE(&vm_rvq_partpop[rv->domain], rv, partpopq);