CI_DDB_RUNNING    236 arch/i386/i386/db_interface.c 			case CI_DDB_RUNNING:
CI_DDB_RUNNING    359 arch/i386/i386/db_interface.c 			cpu_info[i]->ci_ddb_paused = CI_DDB_RUNNING;
CI_DDB_RUNNING     71 arch/i386/i386/db_mp.c 				cpu_info[i]->ci_ddb_paused = CI_DDB_RUNNING;
CI_DDB_RUNNING     89 arch/i386/i386/db_mp.c 	    curcpu()->ci_ddb_paused != CI_DDB_RUNNING) {
CI_DDB_RUNNING     96 arch/i386/i386/db_mp.c 		    curcpu()->ci_ddb_paused != CI_DDB_RUNNING)
CI_DDB_RUNNING    118 arch/i386/i386/db_mp.c 		cpu_info[cpu]->ci_ddb_paused = CI_DDB_RUNNING;