Add a missing call to destroylock

401b5c65 · Silas Boyd-Wickizer · b8573e56 · 401b5c65
--- a/kernel/vm.cc
+++ b/kernel/vm.cc
@@ -179,6 +179,7 @@ vmap::~vmap()
    ksfree(slab_kshared, kshared);
  if (pml4)
    freevm(pml4);
+  destroylock(&brklock_);
 }

 void