Still annotating the kernel
[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 #ifdef __DEPUTY__
26 void    printfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, ...);
27 void    vprintfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, va_list);
28 #else
29 void    printfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, ...);
30 void    vprintfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, va_list);
31 #endif
32
33 // lib/printf.c
34 int     cprintf(const char * NTS fmt, ...);
35 int     vcprintf(const char * NTS fmt, va_list);
36
37 // lib/sprintf.c
38 int     snprintf(char *COUNT(size) str, int size, const char *NTS fmt, ...);
39 int     vsnprintf(char *COUNT(size) str, int size, const char *NTS fmt, va_list);
40
41 // lib/fprintf.c
42 int     printf(const char *NTS fmt, ...);
43 int     fprintf(int fd, const char *NTS fmt, ...);
44 int     vfprintf(int fd, const char *NTS fmt, va_list);
45
46 // lib/readline.c
47 char *NTS readline(const char *NTS prompt);
48
49 #endif /* !ROS_INC_STDIO_H */