06972b07c43a948d173b575a4b21edfc4b95aa5e
[akaros.git] / kern / include / stdio.h
1 #ifndef ROS_INC_STDIO_H
2 #define ROS_INC_STDIO_H
3
4 #include <stdarg.h>
5
6 #ifndef NULL
7 #define NULL    ((void *) 0)
8 #endif /* !NULL */
9
10 #ifdef DEBUG
11 #define printd(args...) cprintf(args)
12 #else
13 #define printd(args...) {}
14 #endif
15
16 #define printk(args...) cprintf(args)
17
18 // lib/stdio.c
19 void    cputchar(int c);
20 void    cputbuf(const char*COUNT(len) buf, int len);
21 int     getchar(void);
22 int     iscons(int fd);
23
24 // lib/printfmt.c
25 void    printfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, ...);
26 //void  vprintfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, va_list);
27 void    vprintfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, va_list);
28
29 // lib/printf.c
30 int     cprintf(const char * NTS fmt, ...);
31 int     vcprintf(const char * NTS fmt, va_list);
32
33 // lib/sprintf.c
34 int     snprintf(char *str, int size, const char *fmt, ...);
35 int     vsnprintf(char *COUNT(size) str, int size, const char *fmt, va_list);
36
37 // lib/fprintf.c
38 int     printf(const char *fmt, ...);
39 int     fprintf(int fd, const char *fmt, ...);
40 int     vfprintf(int fd, const char *fmt, va_list);
41
42 // lib/readline.c
43 char *NTS readline(const char *NTS prompt);
44
45 #endif /* !ROS_INC_STDIO_H */