pintos-doxygen/html/user_2stdio_8h_source.html

#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 */

PRINTF_FORMAT
#define PRINTF_FORMAT(FMT, FIRST)
Definition: debug.h:10

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

hprintf
int hprintf(int, const char *,...) PRINTF_FORMAT(2

vhprintf
int int vhprintf(int, const char *, va_list) PRINTF_FORMAT(2