no vmap lock means we can do a proper tlbflush()

22cc499f · Nickolai Zeldovich · cbc50063 · 22cc499f
--- a/kernel/vm.cc
+++ b/kernel/vm.cc
@@ -242,10 +242,8 @@ vmap::copy(int share)
    span.replace(ne);
  }
-  if (share) {
+  if (share)
-    // XXX should really be tlbflush(), but callers hold some locks..
+    tlbflush();  // Reload hardware page table
-    lcr3(rcr3());  // Reload hardware page table
-  }
  return nm;