diff options
Diffstat (limited to 'defs.h')
-rw-r--r-- | defs.h | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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*); |