1 /* For debugging general purposes */ 2 3 extern int verbose; 4 extern int dump_trace; 5 6 int eprintf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); 7 int dump_printf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); 8 void trace_event(event_t *event); 9