dbflags            93 kern/include/lib.h extern uint32_t dbflags;
dbflags           111 kern/include/lib.h #define DEBUG(d, ...) ((dbflags & (d)) ? kprintf(__VA_ARGS__) : 0)
dbflags            43 kern/lib/kprintf.c uint32_t dbflags = 0;