pintos/src/lib/user/stdio.h

Go to the documentation of this file.

#ifndef __LIB_USER_STDIO_H
#define __LIB_USER_STDIO_H

int hprintf (int, const char *, ...) PRINTF_FORMAT (2, 3);
int vhprintf (int, const char *, va_list) PRINTF_FORMAT (2, 0);

#endif /* lib/user/stdio.h */

---