diff options
-rw-r--r-- | sys/vm/vm_page.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/vm/vm_page.c b/sys/vm/vm_page.c index 567e1a1..bd004fb 100644 --- a/sys/vm/vm_page.c +++ b/sys/vm/vm_page.c @@ -666,6 +666,7 @@ void vm_page_putfake(vm_page_t m) { + KASSERT((m->oflags & VPO_UNMANAGED) != 0, ("managed %p", m)); KASSERT((m->flags & PG_FICTITIOUS) != 0, ("vm_page_putfake: bad page %p", m)); uma_zfree(fakepg_zone, m); |