L4Re - L4 Runtime Environment
|
L4 kernel event tracing. More...
Go to the source code of this file.
Data Structures | |
struct | l4_tracebuffer_status_window_t |
Trace-buffer status window descriptor. More... | |
struct | l4_tracebuffer_status_t |
Trace-buffer status. More... | |
Enumerations | |
enum | { LOG_EVENT_CONTEXT_SWITCH = 0, LOG_EVENT_IPC_SHORTCUT = 1, LOG_EVENT_IRQ_RAISED = 2, LOG_EVENT_TIMER_IRQ = 3, LOG_EVENT_THREAD_EX_REGS = 4, LOG_EVENT_MAX_EVENTS = 16 } |
Log event types. More... | |
Functions | |
l4_tracebuffer_status_t * | fiasco_tbuf_get_status (void) |
Return trace-buffer status. More... | |
l4_addr_t | fiasco_tbuf_get_status_phys (void) |
Return the physical address of the trace-buffer status struct. More... | |
l4_umword_t | fiasco_tbuf_log (const char *text) |
Create new trace-buffer entry with describing <text>. More... | |
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. More... | |
l4_umword_t | fiasco_tbuf_log_binary (const unsigned char *data) |
Create new trace-buffer entry with binary data. More... | |
void | fiasco_tbuf_clear (void) |
Clear trace-buffer. | |
void | fiasco_tbuf_dump (void) |
Dump trace-buffer to kernel console. | |