use vmn_decref

9766fb7a · Frans Kaashoek · 2baa83ea · 9766fb7a
--- a/vm.c
+++ b/vm.c
@@ -448,8 +448,7 @@ vmap_remove(struct vmap *m, uint va_start, uint len)
 	cprintf("vmap_remove: partial unmap unsupported\n");
 	return -1;
      }
-
-      __sync_fetch_and_sub(&m->e[i].n->ref, 1);   // XXX shouldn't use vmn_decref?
+      vmn_decref(m->e[i].n);
      m->e[i].n = 0;
    }
  }