KDB_DEBUG_FLAG_SHIFT
(kdb_flags & KDB_DEBUG(MASK)) >> KDB_DEBUG_FLAG_SHIFT);
| (debugflags << KDB_DEBUG_FLAG_SHIFT);
(KDB_DEBUG_FLAG_##flag << KDB_DEBUG_FLAG_SHIFT))