KDB              1413 kernel/debug/kdb/kdb_main.c 			if (!KDB_STATE(KDB))
KDB              1414 kernel/debug/kdb/kdb_main.c 				KDB_STATE_SET(KDB);