#include #include _default void trace_print_transistion_short(struct hart_state* hstate) { trace_log(""); } _default void trace_print_transition_full(struct hart_state* hstate) { trace_log(""); } _default void trace_dump_state(struct hart_state* hstate) { trace_log(""); }