PCI: helpers for BSD
[akaros.git] / kern / include / stdio.h
index 1968fd7..2b8fe00 100644 (file)
@@ -3,6 +3,7 @@
 
 #include <ros/common.h>
 #include <stdarg.h>
+#include <kdebug.h>
 
 #ifndef NULL
 #define NULL   ((void *) 0)
@@ -48,6 +49,17 @@ 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, ...);
+
+char *seprintf(char *buf, char *end, const char *fmt, ...);
+
+// kern/src/net/eipconv.c
+void printemac(void (*putch)(int, void**), void **putdat, uint8_t *mac);
+void printip(void (*putch)(int, void**), void **putdat, uint8_t *ip);
+void printipmask(void (*putch)(int, void**), void **putdat, uint8_t *ip);
+void printipv4(void (*putch)(int, void**), void **putdat, uint8_t *ip);
+
+/* #K */
+void trace_printk(const char *fmt, ...);
 
 #endif /* !ROS_INC_STDIO_H */