| 12345678 |
- /* 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);
|
