---

ktrace.h

Go to the documentation of this file.

/*****************************************************************************/
/*****************************************************************************/
#ifndef __L4_KTRACE_H__
#define __L4_KTRACE_H__

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

#define LOG_EVENT_CONTEXT_SWITCH   0  
#define LOG_EVENT_IPC_SHORTCUT     1  
#define LOG_EVENT_IRQ_RAISED       2  
#define LOG_EVENT_TIMER_IRQ        3  
#define LOG_EVENT_THREAD_EX_REGS   4  
#define LOG_EVENT_TRAP             5  
#define LOG_EVENT_PF_RES           6  
#define LOG_EVENT_SCHED            7  
#define LOG_EVENT_PREEMPTION       8  
#define LOG_EVENT_ID_NEAREST       9  
#define LOG_EVENT_TASK_NEW        10  
#define LOG_EVENT_MAX_EVENTS      16  
// keep in sync with fiasco/src/jabi/jdb_ktrace.cpp
typedef struct
{
  l4_tracebuffer_entry_t * tracebuffer0;
  l4_umword_t size0;
  volatile l4_uint64_t version0;
  l4_tracebuffer_entry_t * tracebuffer1;
  l4_umword_t size1;
  volatile l4_uint64_t version1;
  volatile l4_tracebuffer_entry_t * current_entry;
  l4_umword_t logevents[LOG_EVENT_MAX_EVENTS];

  l4_umword_t scaler_tsc_to_ns;
  l4_umword_t scaler_tsc_to_us;
  l4_umword_t scaler_ns_to_tsc;

  volatile l4_umword_t cnt_context_switch;
  volatile l4_umword_t cnt_addr_space_switch;
  volatile l4_umword_t cnt_shortcut_failed;
  volatile l4_umword_t cnt_shortcut_success;
  volatile l4_umword_t cnt_irq;
  volatile l4_umword_t cnt_ipc_long;
  volatile l4_umword_t cnt_page_fault;
  volatile l4_umword_t cnt_io_fault;
  volatile l4_umword_t cnt_task_create;
  volatile l4_umword_t cnt_schedule;
  volatile l4_umword_t cnt_iobmap_tlb_flush;

} l4_tracebuffer_status_t;

L4_INLINE l4_tracebuffer_status_t *
fiasco_tbuf_get_status(void);

L4_INLINE l4_addr_t
fiasco_tbuf_get_status_phys(void);

L4_INLINE l4_umword_t
fiasco_tbuf_log(const char *text);

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

L4_INLINE l4_umword_t
fiasco_tbuf_log_binary(const unsigned char *data);

L4_INLINE void
fiasco_tbuf_clear(void);

L4_INLINE void
fiasco_tbuf_dump(void);

L4_INLINE void
fiasco_timer_disable(void);

L4_INLINE void
fiasco_timer_enable(void);

/*****************************************************************************
 *** Implementation
 *****************************************************************************/

L4_INLINE l4_tracebuffer_status_t *
fiasco_tbuf_get_status(void)
{
  l4_tracebuffer_status_t *tbuf;
  asm("int $3; cmpb $29, %%al" : "=a" (tbuf) : "0" (0));
  return tbuf;
}

L4_INLINE l4_addr_t
fiasco_tbuf_get_status_phys(void)
{
  l4_addr_t tbuf_phys;
  asm("int $3; cmpb $29, %%al" : "=a" (tbuf_phys) : "0" (5));
  return tbuf_phys;
}

L4_INLINE l4_umword_t
fiasco_tbuf_log(const char *text)
{
  l4_umword_t offset;
  asm volatile("int $3; cmpb $29, %%al"
        : "=a" (offset)
        : "a" (1), "d" (text));
  return offset;
}

L4_INLINE l4_umword_t
fiasco_tbuf_log_3val(const char *text, unsigned v1, unsigned v2, unsigned v3)
{
  l4_umword_t offset;
  asm volatile("int $3; cmpb $29, %%al"
        : "=a" (offset)
        : "a" (4), "d" (text), "c" (v1), "S" (v2), "D" (v3));
  return offset;
}

L4_INLINE void
fiasco_tbuf_clear(void)
{
  asm volatile("int $3; cmpb $29, %%al" : : "a" (2));
}

L4_INLINE void
fiasco_tbuf_dump(void)
{
  asm volatile("int $3; cmpb $29, %%al" : : "a" (3));
}

L4_INLINE void
fiasco_timer_disable(void)
{
  asm volatile("int $3; cmpb $29, %%al" : : "a" (6));
}

L4_INLINE void
fiasco_timer_enable(void)
{
  asm volatile("int $3; cmpb $29, %%al" : : "a" (7));
}

L4_INLINE l4_umword_t
fiasco_tbuf_log_binary(const unsigned char *data)
{
  l4_umword_t offset;
  asm volatile("int $3; cmpb $29, %%al"
               : "=a" (offset)
               : "a" (8), "d" (data));
  return offset;
}

#endif

---