/* For debugging general purposes */ | |
extern int verbose; | |
extern int dump_trace; | |
int eprintf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); | |
int dump_printf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); | |
void trace_event(event_t *event); |