#ifndef FIRM_STATEVENT_H
#define FIRM_STATEVENT_H
-#ifndef FIRM_STATISTICS
+#if !defined(FIRM_STATISTICS) || defined(DISABLE_STATEV)
#define stat_ev_do(expr)
#define stat_ev_if if (0)
#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)
#else
#include <stdio.h>
-#include "timing.h"
+#include "stat_timing.h"
extern void stat_ev_printf(char ev_type, const char *key, const char *fmt, ...);
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);