1 #ifndef JOS_INC_STDIO_H
2 #define JOS_INC_STDIO_H
5 #include <inc/stdarg.h>
13 void printfmt(void (*putch
)(int, void*), void *putdat
, const char *fmt
, ...);
14 void vprintfmt(void (*putch
)(int, void*), void *putdat
, const char *fmt
, va_list);
15 int snprintf(char *str
, int size
, const char *fmt
, ...);
16 int vsnprintf(char *str
, int size
, const char *fmt
, va_list);
19 int cprintf(const char *fmt
, ...);
20 int vcprintf(const char *fmt
, va_list);
23 int printf(const char *fmt
, ...);
24 int fprintf(int fd
, const char *fmt
, ...);
25 int vfprintf(int fd
, const char *fmt
, va_list);
28 char* readline(const char *prompt
);
30 #endif /* !JOS_INC_STDIO_H */