#define stat_ev_dbl(name, val)
#define stat_ev_int(name, val)
#define stat_ev(name)
+#define stat_ev_emit(name, value)
#define stat_ev_cnt_decl(var)
#define stat_ev_cnt_inc(var)
extern timing_sched_env_t stat_ev_sched_rt;
extern timing_sched_env_t stat_ev_sched_normal;
-static INLINE __attribute__((unused)) void stat_ev_tim_push(void) {
+static inline __attribute__((unused)) void stat_ev_tim_push(void) {
timing_ticks_t temp;
int sp = stat_ev_timer_sp++;
timing_ticks(temp);
timing_ticks(stat_ev_timer_start[sp]);
}
-static INLINE __attribute__((unused)) void stat_ev_tim_pop(const char *name) {
+static inline __attribute__((unused)) void stat_ev_tim_pop(const char *name) {
int sp;
timing_ticks_t temp;
timing_ticks(temp);