delete proc_ on proc_exit, proc_wait, proc_kill

1 files changed, 3 insertions, 3 deletions

diff --git a/defs.h b/defs.h
index fa9c502..89b28ac 100644
--- a/defs.h
+++ b/defs.h
@@ -98,10 +98,10 @@ int             pipewrite(struct pipe*, char*, int);
 struct proc*    copyproc(struct proc*);
 int             growproc(int);
 void            pinit(void);
-void            proc_exit(void);
-int             proc_kill(int);
-int             proc_wait(void);
 void            procdump(void);
+void            exit(void);
+int             kill(int);
+int             wait(void);
 void            scheduler(void) __attribute__((noreturn));
 void            setupsegs(struct proc*);
 void            sleep(void*, struct spinlock*);