diff --git a/kernel/defs.h b/kernel/defs.h
index 41098f4..3564db4 100644
--- a/kernel/defs.h
+++ b/kernel/defs.h
@@ -96,7 +96,6 @@ struct proc*    myproc();
 void            procinit(void);
 void            scheduler(void) __attribute__((noreturn));
 void            sched(void);
-void            setproc(struct proc*);
 void            sleep(void*, struct spinlock*);
 void            userinit(void);
 int             wait(uint64);