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