diff options
| author | kib <kib@FreeBSD.org> | 2012-05-12 20:27:51 +0000 |
|---|---|---|
| committer | kib <kib@FreeBSD.org> | 2012-05-12 20:27:51 +0000 |
| commit | e5df51c93ae236ca50eed1a462454b6470056b3c (patch) | |
| tree | 005d067d9f57245bcf9788864fe3340a9b9abc96 | |
| parent | 5a967fbfcc6f8df911a59020f191a5953d53c3a3 (diff) | |
| download | FreeBSD-src-e5df51c93ae236ca50eed1a462454b6470056b3c.zip FreeBSD-src-e5df51c93ae236ca50eed1a462454b6470056b3c.tar.gz | |
Assert that the page passed to vm_page_putfake() is unmanaged.
Sponsored by: The FreeBSD Foundation
Reviewed by: alc
MFC after: 1 month
| -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); |
