28 #include <l4/sys/kdebug.h> 50 enum { TBUF_LOG = 0x201 };
51 return l4_error(__kdebug_text(TBUF_LOG, text, __builtin_strlen(text)));
58 enum { TBUF_LOG_3VAL = 0x204 };
59 return l4_error(__kdebug_3_text(TBUF_LOG_3VAL, text,
60 __builtin_strlen(text), v1, v2, v3));
66 enum { TBUF_CLEAR = 0x202 };
67 __kdebug_op(TBUF_CLEAR);
73 enum { TBUF_DUMP = 0x203 };
74 __kdebug_op(TBUF_DUMP);
80 enum { TBUF_LOG_BIN = 0x208 };
81 return l4_error(__kdebug_text(TBUF_LOG_BIN, (
const char *)data, 24));
l4_addr_t fiasco_tbuf_get_status_phys(void)
Return the physical address of the trace-buffer status struct.
Common L4 ABI Data Types.
void fiasco_tbuf_clear(void)
Clear trace-buffer.
void fiasco_tbuf_dump(void)
Dump trace-buffer to kernel console.
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_tracebuffer_status_t * fiasco_tbuf_get_status(void)
Return trace-buffer status.
l4_umword_t fiasco_tbuf_log(const char *text)
Create new trace-buffer entry with describing <text>.
l4_umword_t fiasco_tbuf_log_binary(const unsigned char *data)
Create new trace-buffer entry with binary data.
unsigned long l4_umword_t
Unsigned machine word.
long l4_error(l4_msgtag_t tag) L4_NOTHROW
Return error code of a system call return message tag.
unsigned long l4_addr_t
Address type.