CS318 - Pintos
Pintos source browser for JHU CS318 course
stdio.h
Go to the documentation of this file.
1 #ifndef __LIB_USER_STDIO_H
2 #define __LIB_USER_STDIO_H
3 
4 int hprintf (int, const char *, ...) PRINTF_FORMAT (2, 3);
5 int vhprintf (int, const char *, va_list) PRINTF_FORMAT (2, 0);
6 
7 #endif /**< lib/user/stdio.h */
hprintf
int hprintf(int, const char *,...) PRINTF_FORMAT(2
va_list
__builtin_va_list va_list
GCC has <stdarg.h> functionality as built-ins, so all we need is to use it.
Definition: stdarg.h:7
vhprintf
int int vhprintf(int, const char *, va_list) PRINTF_FORMAT(2
PRINTF_FORMAT
#define PRINTF_FORMAT(FMT, FIRST)
Definition: debug.h:10
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by   doxygen 1.8.16