CI_DDB_INDDB      248 arch/i386/i386/db_interface.c 			case CI_DDB_INDDB:
CI_DDB_INDDB       55 arch/i386/i386/db_mp.c 		curcpu()->ci_ddb_paused = CI_DDB_INDDB;
CI_DDB_INDDB      104 arch/i386/i386/db_mp.c 		curcpu()->ci_ddb_paused = CI_DDB_INDDB;