When using -k, make sure to flush all of the subprocess's output to
[pintos-anon] / src / lib / kernel / stdio.h
1 #ifndef __LIB_KERNEL_STDIO_H
2 #define __LIB_KERNEL_STDIO_H
3
4 void putbuf (const char *, size_t);
5
6 #endif /* lib/kernel/stdio.h */