--- src/sys/vm/device_pager.c	2004/07/21 01:25:18	1.8
+++ src/sys/vm/device_pager.c	2004/11/12 00:09:56	1.9
@@ -265,5 +265,7 @@ dev_pager_putfake(vm_page_t m)
 {
 	if (!(m->flags & PG_FICTITIOUS))
 		panic("dev_pager_putfake: bad page");
+	KKASSERT(m->object == NULL);
 	zfree(fakepg_zone, m);
 }
+