Searched refs:xendebug_flags (Results 1 – 3 of 3) sorted by relevance
32 extern int xendebug_flags;44 if (xendebug_flags & argflags) XENPRINTF("(file=%s, line=%d) " _f "\n", __FILE__, __LINE__, ## _a);
38 extern int xendebug_flags;54 if (xendebug_flags & argflags) XENPRINTF("(file=%s, line=%d) " _f "\n", __FILE__, __LINE__, ## _a);
91 int xendebug_flags; variable956 xendebug_flags = 0; /* 0xffffffff; */ in initvalues()