PKUOS - Pintos
Pintos source browser for PKU Operating System course
stdio.h
Go to the documentation of this file.
1#ifndef __LIB_KERNEL_STDIO_H
2#define __LIB_KERNEL_STDIO_H
3
4void putbuf (const char *, size_t);
5
6#endif /**< lib/kernel/stdio.h */
putbuf
void putbuf(const char *, size_t)
lib/kernel/stdio.h
Definition: console.c:153
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by doxygen 1.9.2