00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_tbuf_events_i_h 00004 #define jdb_tbuf_events_i_h 00005 00006 #include <cstdarg> 00007 00008 #include "boot_info.h" 00009 #include "config.h" 00010 #include "jdb_ktrace.h" 00011 00012 // The following headers are only included here to reflect the module 00013 // dependencies. 00014 // 00015 // patch_log_sched_invalidate 00016 // patch_log_sched_save 00017 // patch_log_sched_load 00018 // patch_log_context_switch 00019 #include "context.h" 00020 // patch_log_irq 00021 #include "dirq.h" 00022 // patch_log_pf_res 00023 // patch_log_trap 00024 // patch_log_thread_ex_regs 00025 // patch_log_timer_irq 00026 // patch_log_shortcut_failed1 00027 // patch_log_shortcut_failed2 00028 // patch_log_shortcut_succeeded 00029 #include "thread.h" 00030 // patch_show_log_pf_res 00031 #include "jdb_trace.h" 00032 // patch_show_log_context_switch 00033 // patch_show_log_shortcut 00034 #include "jdb_trace_set.h" 00035 // patch_log_send_preemption 00036 #include "preemption.h" 00037 00038 #endif // jdb_tbuf_events_i_h