summaryrefslogtreecommitdiff
path: root/vm/vm_resident.c
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-12 15:45:42 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-28 15:48:05 +0200
commit17193ec7feeb74693ff1575e4611cfe5d105655a (patch)
tree99b90e5257c724ede3a8268120bbe6478cdf83eb /vm/vm_resident.c
parent35769e1d60121156b6a9d308cb9e32829147f056 (diff)
fix vm_page initialization
Diffstat (limited to 'vm/vm_resident.c')
-rw-r--r--vm/vm_resident.c5
1 files changed, 3 insertions, 2 deletions
diff --git a/vm/vm_resident.c b/vm/vm_resident.c
index 620fece..c71ce0d 100644
--- a/vm/vm_resident.c
+++ b/vm/vm_resident.c
@@ -474,8 +474,9 @@ vm_page_t vm_page_grab_fictitious(void)
if (m != VM_PAGE_NULL) {
vm_page_fictitious_count--;
vm_page_queue_fictitious = (vm_page_t) m->pageq.next;
- assert(m->fictitious);
- assert(! m->tabled);
+ /* XXX is this re-initialization really needed ? */
+ vm_page_init(m, vm_page_fictitious_addr);
+ m->fictitious = TRUE;
}
simple_unlock(&vm_page_queue_free_lock);
return m;