ktrace.h File Reference

L4 kernel event tracing. More...

#include <l4/sys/types.h>
#include <l4/sys/ktrace_events.h>

Go to the source code of this file.

Data Structures
struct	l4_tracebuffer_status_t
	Tracebuffer status. More...
Defines
#define	LOG_EVENT_CONTEXT_SWITCH   0
	Event: context switch.
#define	LOG_EVENT_IPC_SHORTCUT   1
	Event: IPC shortcut.
#define	LOG_EVENT_IRQ_RAISED   2
	Event: IRQ occurred.
#define	LOG_EVENT_TIMER_IRQ   3
	Event: Timer IRQ occurred.
#define	LOG_EVENT_THREAD_EX_REGS   4
	Event: thread_ex_regs.
#define	LOG_EVENT_TRAP   5
	Event: Trap occured.
#define	LOG_EVENT_PF_RES   6
	Event: Pagefpault resolved.
#define	LOG_EVENT_SCHED   7
	Event: Scheduling context loaded, saved or invalidated.
#define	LOG_EVENT_PREEMPTION   8
	Event: Preemption IPC sent.
#define	LOG_EVENT_ID_NEAREST   9
	Event: ID nearest.
#define	LOG_EVENT_TASK_NEW   10
	Event: New task created.
#define	LOG_EVENT_MAX_EVENTS   16
	Maximum number of events.
Functions
l4_tracebuffer_status_t *	fiasco_tbuf_get_status (void)
	Return tracebuffer status.
l4_addr_t	fiasco_tbuf_get_status_phys (void)
	Return the physical address of the tracebuffer status struct.
l4_umword_t	fiasco_tbuf_log (const char *text)
	Create new tracebuffer entry with describing <text>.
l4_umword_t	fiasco_tbuf_log_3val (const char *text, unsigned v1, unsigned v2, unsigned v3)
	Create new tracebuffer entry with describing <text> and three additional values.
l4_umword_t	fiasco_tbuf_log_binary (const unsigned char *data)
	Create new tracebuffer entry with binary data.
void	fiasco_tbuf_clear (void)
	Clear tracebuffer.
void	fiasco_tbuf_dump (void)
	Dump tracebuffer to kernel console.
void	fiasco_timer_disable (void)
	Disable the kernel scheduling timer.
void	fiasco_timer_enable (void)
	Enable the kernel scheduling timer (after it was disabled with fiasco_timer_disable).

---

Detailed Description

L4 kernel event tracing.

Definition in file ktrace.h.