Include address space identifier in page avar

70662e18 · Frans Kaashoek · 359dab4a · 70662e18
--- a/kernel/vm.cc
+++ b/kernel/vm.cc
@@ -584,7 +584,7 @@ pagefault(struct vmap *vmap, uptr va, u32 err)
 #if MTRACE
  mt_ascope ascope("%s(%p)", __func__, va);
  mtwriteavar("thread:%x", myproc()->pid);
-  mtwriteavar("page:%016x", PGROUNDDOWN(va));
+  mtwriteavar("page:%p.%016x", vmap, PGROUNDDOWN(va));
 #endif

  return vmap->pagefault(va, err);