CI_DDB_STOPPED    242 arch/i386/i386/db_interface.c 			case CI_DDB_STOPPED:
CI_DDB_STOPPED     59 arch/i386/i386/db_mp.c 			    cpu_info[i]->ci_ddb_paused != CI_DDB_STOPPED) {
CI_DDB_STOPPED     91 arch/i386/i386/db_mp.c 			curcpu()->ci_ddb_paused = CI_DDB_STOPPED;
CI_DDB_STOPPED    128 arch/i386/i386/db_mp.c 	    cpu_info[cpu]->ci_ddb_paused != CI_DDB_STOPPED) {