debugging prints

1 files changed, 1 insertions, 0 deletions

diff --git a/defs.h b/defs.h
index 0225e5d..a08690f 100644
--- a/defs.h
+++ b/defs.h
@@ -24,6 +24,7 @@ void proc_exit(void);
 int proc_kill(int);
 int proc_wait(void);
 void yield(void);
+void procdump(void);
 
 // swtch.S
 struct jmpbuf;