d90365e6dbae5954a3f60d2186081c3f7e5cf482
[cparser] / driver / firm_timing.h
1 #ifndef __FIRM_TIMING_H__
2 #define __FIRM_TIMING_H__
3 /**
4  * @file firm_timing.h -- timing for the Firm compiler
5  *
6  * (C) 2006  Michael Beck   beck@ipd.info.uni-karlsruhe.de
7  *
8  * $Id$
9  */
10
11 #include <stdio.h>
12
13 enum timings {
14 #define DEFTIMEVAR(x, y, z)     x,
15 #include "firm_timing.def"
16         TV_LAST
17 #undef DEFTIMEVAR
18 };
19
20 void timer_init(void);
21 void timer_term(FILE *f);
22 void timer_push(int timer);
23 void timer_pop(void);
24 void timer_start(int timer);
25 void timer_stop(int timer);
26
27 #endif /* __FIRM_TIMING_H__ */