diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-12 15:45:42 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-28 15:48:05 +0200 |
commit | 17193ec7feeb74693ff1575e4611cfe5d105655a (patch) | |
tree | 99b90e5257c724ede3a8268120bbe6478cdf83eb /vm/vm_resident.c | |
parent | 35769e1d60121156b6a9d308cb9e32829147f056 (diff) |
fix vm_page initialization
Diffstat (limited to 'vm/vm_resident.c')
-rw-r--r-- | vm/vm_resident.c | 5 |
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; |