1 files changed, 6 insertions, 2 deletions
diff --git a/kernel/defs.h b/kernel/defs.h
index fa9dd13..52fca8e 100644
--- a/kernel/defs.h
+++ b/kernel/defs.h
@@ -17,9 +17,8 @@ void            bwrite(struct buf*);
 
 // console.c
 void            consoleinit(void);
-void            printf(char*, ...);
 void            consoleintr(int);
-void            panic(char*) __attribute__((noreturn));
+void            consputc(int);
 
 // exec.c
 int             exec(char*, char**);
@@ -74,6 +73,11 @@ void            pipeclose(struct pipe*, int);
 int             piperead(struct pipe*, uint64, int);
 int             pipewrite(struct pipe*, uint64, int);
 
+// printf.c
+void            printf(char*, ...);
+void            panic(char*) __attribute__((noreturn));
+void            printfinit(void);
+
 // proc.c
 int             cpuid(void);
 void            exit(void);