Fixes bug in cpu_relax_vc()
[akaros.git] / kern / include / stdio.h
index 4f61246..2b8fe00 100644 (file)
@@ -57,5 +57,9 @@ char *seprintf(char *buf, char *end, const char *fmt, ...);
 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 */