Use two-page stacks
[akaros.git] / kern / include / kprof.h
index 3879486..9b8b2aa 100644 (file)
@@ -11,5 +11,6 @@
 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 kprof_dump_data(void);
+void trace_vprintk(const char *fmt, va_list args);
+void trace_printk(const char *fmt, ...);