27#ifndef __L4_KTRACE_H__
28#define __L4_KTRACE_H__
31#include <l4/sys/ktrace_events.h>
l4_umword_t fiasco_tbuf_log(const char *text)
Create new trace-buffer entry with describing <text>.
void fiasco_tbuf_clear(void)
Clear trace-buffer.
l4_umword_t fiasco_tbuf_log_3val(const char *text, l4_umword_t v1, l4_umword_t v2, l4_umword_t v3)
Create new trace-buffer entry with describing <text> and three additional values.
l4_umword_t fiasco_tbuf_log_binary(const unsigned char *data)
Create new trace-buffer entry with binary data.
void fiasco_tbuf_dump(void)
Dump trace-buffer to kernel console.
unsigned long l4_umword_t
Unsigned machine word.
#define L4_INLINE
L4 Inline function attribute.
Common L4 ABI Data Types.