![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Kernel tracing related functionality. More...
Functions | |
| l4_umword_t | fiasco_tbuf_log (const char *text) |
| Create new trace-buffer entry with describing <text>. | |
| 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_clear (void) |
| Clear trace-buffer. | |
| void | fiasco_tbuf_dump (void) |
| Dump trace-buffer to kernel console. | |
Kernel tracing related functionality.
This is a tracing facility for the Fiasco kernel trace buffer. Any call to any function might be invalid. Do not rely on it in any real code.
|
inline |
Create new trace-buffer entry with describing <text>.
| text | Logging text |
Definition at line 24 of file __ktrace-impl.h.
References __kdebug_text(), and l4_error().
|
inline |
Create new trace-buffer entry with describing <text> and three additional values.
| text | Logging text |
| v1 | first value |
| v2 | second value |
| v3 | third value |
Definition at line 31 of file __ktrace-impl.h.
References __kdebug_3_text(), and l4_error().
|
inline |
Create new trace-buffer entry with binary data.
| data | binary data |
Definition at line 54 of file __ktrace-impl.h.
References __kdebug_text(), and l4_error().