pintos/src/lib/kernel/stdio.h

Go to the documentation of this file.

00001 #ifndef __LIB_KERNEL_STDIO_H
00002 #define __LIB_KERNEL_STDIO_H
00003 
00004 void putbuf (const char *, size_t);
00005 
00006 #endif /* lib/kernel/stdio.h */

Generated on Mon Jan 10 16:43:57 2011 for Pintos by

1.5.6