diff options
author | Robert Morris <rtm@csail.mit.edu> | 2019-07-27 03:49:03 -0400 |
---|---|---|
committer | Robert Morris <rtm@csail.mit.edu> | 2019-07-27 03:49:03 -0400 |
commit | 281d450a088b348b898f2e23f6951e6d4f1efac0 (patch) | |
tree | 7dc504a77980ffb2c7cf2fe742952dadc9b1e737 /kernel/defs.h | |
parent | 734faa27acfe136f4cab3ea06e70193c0ecc5402 (diff) | |
download | xv6-labs-281d450a088b348b898f2e23f6951e6d4f1efac0.tar.gz xv6-labs-281d450a088b348b898f2e23f6951e6d4f1efac0.tar.bz2 xv6-labs-281d450a088b348b898f2e23f6951e6d4f1efac0.zip |
split printf into a separate file, to make console.c more like a driver
Diffstat (limited to 'kernel/defs.h')
-rw-r--r-- | kernel/defs.h | 8 |
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); |