BNX2X: spatch signed typedefs
[akaros.git] / kern / include / stdio.h
index a9bb787..90ae337 100644 (file)
@@ -58,4 +58,12 @@ 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, ...);
+
+/* vsprintf.c (linux) */
+int vsscanf(const char *buf, const char *fmt, va_list args);
+int sscanf(const char *buf, const char *fmt, ...);
+
 #endif /* !ROS_INC_STDIO_H */