Searched refs:TODDB (Results 1 – 2 of 2) sorted by relevance
56 #define TODDB 0x0010 /* to ddb console */ macro
511 if (flags & TODDB) { in putchar()691 kprintf(fmt, TODDB, NULL, NULL, ap); in db_printf()708 kprintf(fmt, TODDB, NULL, NULL, ap); in db_vprintf()