Still annotating the kernel
[akaros.git] / kern / include / stdio.h
index 06972b0..8d2e6ae 100644 (file)
@@ -22,22 +22,26 @@ int getchar(void);
 int    iscons(int fd);
 
 // lib/printfmt.c
+#ifdef __DEPUTY__
+void   printfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, ...);
+void   vprintfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, va_list);
+#else
 void   printfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, ...);
-//void vprintfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, va_list);
 void   vprintfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, va_list);
+#endif
 
 // lib/printf.c
 int    cprintf(const char * NTS fmt, ...);
 int    vcprintf(const char * NTS fmt, va_list);
 
 // lib/sprintf.c
-int    snprintf(char *str, int size, const char *fmt, ...);
-int    vsnprintf(char *COUNT(size) str, int size, const char *fmt, va_list);
+int    snprintf(char *COUNT(size) str, int size, const char *NTS fmt, ...);
+int    vsnprintf(char *COUNT(size) str, int size, const char *NTS fmt, va_list);
 
 // lib/fprintf.c
-int    printf(const char *fmt, ...);
-int    fprintf(int fd, const char *fmt, ...);
-int    vfprintf(int fd, const char *fmt, va_list);
+int    printf(const char *NTS fmt, ...);
+int    fprintf(int fd, const char *NTS fmt, ...);
+int    vfprintf(int fd, const char *NTS fmt, va_list);
 
 // lib/readline.c
 char *NTS readline(const char *NTS prompt);