Kernel Tracing

Kernel tracing related functionality. More...

Collaboration diagram for Kernel Tracing:

Functions
l4_msgtag_t	fiasco_tbuf_validate (void)
	Validate the kernel base debugger capability.
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.
l4_msgtag_t	fiasco_tbuf_map_status (l4_fpage_t *ku_mem)
	Map kernel trace-buffer status page.
l4_msgtag_t	fiasco_tbuf_map_slots (l4_fpage_t *ku_mem)
	Map kernel trace-buffer slots.

Detailed Description

Kernel tracing related functionality.

Attention

This API is subject to change!

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.

Include File

#include <l4/sys/ktrace.h> 

Function Documentation

fiasco_tbuf_log()

l4_umword_t fiasco_tbuf_log ( const char * text )

inline

Create new trace-buffer entry with describing <text>.

Parameters

text	Logging text

Returns

Pointer to trace-buffer entry

Definition at line 29 of file __ktrace-impl.h.

References __l4_kdebug_text(), and l4_error().

Here is the call graph for this function:

fiasco_tbuf_log_3val()

l4_umword_t fiasco_tbuf_log_3val ( const char * text, l4_umword_t v1, l4_umword_t v2, l4_umword_t v3 )

inline

Create new trace-buffer entry with describing <text> and three additional values.

Parameters

text	Logging text
v1	first value
v2	second value
v3	third value

Returns

Pointer to trace-buffer entry

Definition at line 36 of file __ktrace-impl.h.

References __l4_kdebug_3_text(), and l4_error().

Here is the call graph for this function:

fiasco_tbuf_log_binary()

l4_umword_t fiasco_tbuf_log_binary ( const unsigned char * data )

inline

Create new trace-buffer entry with binary data.

Parameters

data	binary data

Returns

Pointer to trace-buffer entry

Definition at line 59 of file __ktrace-impl.h.

References __l4_kdebug_text(), and l4_error().

Here is the call graph for this function:

fiasco_tbuf_map_slots()

l4_msgtag_t fiasco_tbuf_map_slots ( l4_fpage_t * ku_mem )

inline

Map kernel trace-buffer slots.

Parameters

ku_mem

Flexpage where to map the trace-buffer slots. Expected to be the exact size as defined by the status page.

Returns

IPC message tag.

Definition at line 85 of file __ktrace-impl.h.

References L4_BASE_DEBUGGER_CAP, l4_ipc_call(), L4_IPC_NEVER, l4_msgtag(), l4_msgtag_has_error(), L4_PROTO_DEBUGGER, l4_utcb(), l4_msg_regs_t::mr, and l4_fpage_t::raw.

Here is the call graph for this function:

fiasco_tbuf_map_status()

l4_msgtag_t fiasco_tbuf_map_status ( l4_fpage_t * ku_mem )

inline

Map kernel trace-buffer status page.

Parameters

ku_mem

Flexpage where to map the trace-buffer status page. Expected to be exactly one page in size.

Returns

IPC message tag.

Definition at line 66 of file __ktrace-impl.h.

References L4_BASE_DEBUGGER_CAP, l4_ipc_call(), L4_IPC_NEVER, l4_msgtag(), l4_msgtag_has_error(), L4_PROTO_DEBUGGER, l4_utcb(), l4_msg_regs_t::mr, and l4_fpage_t::raw.

Here is the call graph for this function:

fiasco_tbuf_validate()

l4_msgtag_t fiasco_tbuf_validate ( void )

inline

Validate the kernel base debugger capability.

Return values

true	The base debugger capability is valid and accessible.
false	The base debugger capability is not valid or not accessible.

Definition at line 25 of file __ktrace-impl.h.

References L4_BASE_DEBUGGER_CAP, L4_BASE_TASK_CAP, and l4_task_cap_valid().

Here is the call graph for this function: