Thread0 can call pthread_exit()
[akaros.git] / kern / include / stdio.h
index b6d3a87..a5cc6d7 100644 (file)
@@ -1,12 +1,14 @@
 #ifndef ROS_INC_STDIO_H
 #define ROS_INC_STDIO_H
 
+#include <ros/common.h>
 #include <stdarg.h>
 
 #ifndef NULL
 #define NULL   ((void *) 0)
 #endif /* !NULL */
 
+//#define DEBUG
 #ifdef DEBUG
 #define printd(args...) cprintf(args)
 #else
@@ -46,6 +48,6 @@ 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);
+int readline(char *buf, size_t buf_l, const char *prompt, ...);
 
 #endif /* !ROS_INC_STDIO_H */