From 3d8acf5bf5ec26c28316874a5e55e15552584a09 Mon Sep 17 00:00:00 2001
From: Scott Beamer <sbeamer@eecs.berkeley.edu>
Date: Tue, 6 May 2014 15:02:48 -0700
Subject: fixes vm leak. pages that faulted never decref'd their vmr so it
 wasn't reused

---
 pk/vm.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pk/vm.c')

diff --git a/pk/vm.c b/pk/vm.c
index 6a3dd3b..768a9b3 100644
--- a/pk/vm.c
+++ b/pk/vm.c
@@ -183,6 +183,7 @@ static int __handle_page_fault(uintptr_t vaddr, int prot)
     }
     else
       memset((void*)vaddr, 0, RISCV_PGSIZE);
+    __vmr_decref(v, 1);
     *pte = pte_create(ppn, v->prot, v->prot);
   }
 
-- 
cgit v1.1