less output

a0c1c2fd · Frans Kaashoek · ef934f44 · a0c1c2fd · a0c1c2fd · a0c1c2fd
--- a/exec.c
+++ b/exec.c
@@ -19,7 +19,6 @@ exec(char *path, char **argv)
  pde_t *pgdir, *oldpgdir;

  cprintf("%d: exec %s\n", cpunum(), path);
-  procdumpall();

  if((ip = namei(path)) == 0)
    return -1;
@@ -92,9 +91,6 @@ exec(char *path, char **argv)
  proc->tf->esp = sp;
  switchuvm(proc);
  freevm(oldpgdir);
-
-  cprintf("exec done\n");
-
  return 0;

 bad:

--- a/main.c
+++ b/main.c
@@ -74,10 +74,8 @@ mpmain(void)
  }
  vmenable();        // turn on paging
  cprintf("cpu%d: starting\n", cpu->id);
-  procdumpall();
  idtinit();       // load idt register
  xchg(&cpu->booted, 1); // tell bootothers() we're up
-  procdumpall();
  scheduler();     // start running processes
 }


--- a/proc.c
+++ b/proc.c
@@ -50,7 +50,6 @@ found:
  release(&ptable->lock);

  // Allocate kernel stack if possible.
-  cprintf("allocproc: kalloc\n");
  if((p->kstack = kalloc()) == 0){
    p->state = UNUSED;
    return 0;
@@ -97,7 +96,6 @@ addrun(struct proc *p)
  acquire(&ptable->lock);
  addrun1(p);
  release(&ptable->lock);
-  procdumpall();
 }

 static void 
@@ -331,7 +329,6 @@ steal(void)
    }
    release(&ptables[c].lock);
    if (r) {
-      procdumpall();
      return;
    }
  }