+void _firm_dbg_print(const firm_dbg_module_t *mod, unsigned mask, const char *fmt, ...)
+{
+ if(mask == 0 || (mod->mask & mask)) {
+ va_list args;
+ char *res;
+ va_start(args, fmt);
+ ir_obst_vprintf(&dbg_obst, fmt, args);
+ obstack_1grow(&dbg_obst, '\0');
+ res = obstack_finish(&dbg_obst);
+ fprintf(mod->file, res);
+ obstack_free(&dbg_obst, res);
+ va_end(args);
+ }
+}