trace.h

#pragma once
 
#include <stdint.h>
#include <stdbool.h>
#include <conf/kernel.h>
 
enum TraceEventID {
    EVENT_NONE = 0,
    EVENT_CPU_BOOT,
    EVENT_THREAD_SWITCH,
    EVENT_SYSCALL,
    EVENT_NOTIFY_WAIT_INIT,
    EVENT_NOTIFY_WAITING,
    EVENT_NOTIFY_PENDING,
    EVENT_WAIT_PENDING,
    EVENT_WAIT_SUSPEND,
    EVENT_ISR_HANDLER,
    EVENT_KERNEL_TICK
};
 
#ifndef CMRX_KERNEL_TRACING
#   define trace_init(start_addr, end_addr)
#   define trace_event(event, arg)
#else
 
bool trace_init(void * start_addr, void * end_addr);
 
void trace_event(enum TraceEventID event, uint32_t arg);
#endif