1 files changed, 1 insertions, 0 deletions
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);
   }