Add the 'current_kthread' helper
[akaros.git] / kern / include / kprof.h
1 /* Copyright (c) 2015 Google Inc
2  * Davide Libenzi <dlibenzi@google.com>
3  * See LICENSE for details.
4  */
5
6 #pragma once
7
8 #include <stdio.h>
9 #include <stdarg.h>
10
11 size_t kprof_tracedata_size(void);
12 size_t kprof_tracedata_read(void *data, size_t size, size_t offset);
13 void kprof_tracedata_write(const char *pretty_buf, size_t len);
14 void trace_vprintk(const char *fmt, va_list args);
15 void trace_printk(const char *fmt, ...);