Fix NULL ptr bug in finishproc

afb40915 · Silas Boyd-Wickizer · ab433740 · afb40915
--- a/kernel/proc.cc
+++ b/kernel/proc.cc
@@ -481,6 +481,7 @@ finishproc(struct proc *p)
 {
  ksfree(slab_stack, p->kstack);
  p->kstack = 0;
+  if (p->vmap != nullptr)
    p->vmap->decref();
  if (!xnspid->remove(p->pid, &p))
    panic("wait: ns_remove");