27 #ifndef __L4_KTRACE_H__ 28 #define __L4_KTRACE_H__ 31 #include <l4/sys/ktrace_events.h> l4_addr_t fiasco_tbuf_get_status_phys(void)
Return the physical address of the trace-buffer status struct.
volatile l4_uint32_t cnt_page_fault
Number of page faults.
volatile l4_uint32_t cnt_shortcut_failed
How often was the IPC shortcut taken.
Trace-buffer status window descriptor.
volatile l4_uint32_t cnt_io_fault
Number of faults (application runs at IOPL 0 and tries to execute cli, sti, in, or out but does not h...
volatile l4_uint32_t cnt_addr_space_switch
Number of inter AS context switches.
Event: Timer IRQ occurred.
Common L4 ABI Data Types.
volatile l4_uint32_t cnt_task_create
Number of tasks created.
void fiasco_tbuf_clear(void)
Clear trace-buffer.
volatile l4_uint32_t cnt_ipc_long
Number of long IPCs.
l4_uint32_t scaler_ns_to_tsc
Scaler used for translation of nano seconds to CPU cycles.
volatile l4_uint32_t cnt_iobmap_tlb_flush
Number of flushes of the I/O bitmap.
void fiasco_tbuf_dump(void)
Dump trace-buffer to kernel console.
volatile l4_uint32_t cnt_shortcut_success
How often was the IPC shortcut not taken.
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_uint32_t scaler_tsc_to_us
Scaler used for translation of CPU cycles to micro seconds.
l4_umword_t fiasco_tbuf_log(const char *text)
Create new trace-buffer entry with describing <text>.
l4_uint32_t scaler_tsc_to_ns
Scaler used for translation of CPU cycles to nano seconds.
volatile l4_uint32_t cnt_context_switch
Number of context switches (intra AS or inter AS)
volatile l4_uint32_t cnt_irq
Number of hardware interrupts (without kernel scheduling interrupt)
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.
l4_tracebuffer_entry_t * tracebuffer
Address of trace-buffer.
volatile l4_uint32_t cnt_schedule
Number of reschedules.
volatile l4_uint64_t version
Version number of trace-buffer (incremented if trace-buffer overruns)
volatile l4_tracebuffer_entry_t * current_entry
Address of the most current event in trace-buffer.
unsigned long long l4_uint64_t
Unsigned 64bit value.
unsigned long l4_addr_t
Address type.
Maximum number of events.
l4_umword_t size
Size of trace-buffer.
unsigned int l4_uint32_t
Unsigned 32bit value.