x86: Rename VPD (XCC)
[akaros.git] / kern / include / kprof.h
index 3879486..3a11509 100644 (file)
@@ -11,5 +11,5 @@
 size_t kprof_tracedata_size(void);
 size_t kprof_tracedata_read(void *data, size_t size, size_t offset);
 void kprof_tracedata_write(const char *pretty_buf, size_t len);
-void trace_vprintk(bool btrace, const char *fmt, va_list args);
-void trace_printk(bool btrace, const char *fmt, ...);
+void trace_vprintk(const char *fmt, va_list args);
+void trace_printk(const char *fmt, ...);