Remove backtraces from trace_printk()
[akaros.git] / kern / include / stdio.h
index 1bb7ed9..aa880e6 100644 (file)
@@ -54,7 +54,7 @@ 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(bool btrace, const char *fmt, ...);
+void trace_printk(const char *fmt, ...);
 
 /* vsprintf.c (linux) */
 int vsscanf(const char *buf, const char *fmt, va_list args);