1 files changed, 1 insertions, 0 deletions
diff --git a/defs.h b/defs.h
index dca91bb..f2724ad 100644
--- a/defs.h
+++ b/defs.h
@@ -101,6 +101,7 @@ int             kill(int);
 void            pinit(void);
 void            procdump(void);
 void            scheduler(void) __attribute__((noreturn));
+void            sched(void);
 void            sleep(void*, struct spinlock*);
 void            userinit(void);
 int             wait(void);