1 #ifndef __FIRM_TIMING_H__
2 #define __FIRM_TIMING_H__
4 * @file firm_timing.h -- timing for the Firm compiler
6 * (C) 2006 Michael Beck beck@ipd.info.uni-karlsruhe.de
12 #define DEFTIMEVAR(x, y, z) x,
13 #include "firm_timing.def"
18 void timer_init(void);
19 void timer_term(FILE *f);
20 void timer_push(int timer);
22 void timer_start(int timer);
23 void timer_stop(int timer);
25 #endif /* __FIRM_TIMING_H__ */