DDB_STATE_RUNNING   54 arch/i386/i386/db_mp.c 		ddb_state = DDB_STATE_RUNNING;
DDB_STATE_RUNNING  103 arch/i386/i386/db_mp.c 	if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_RUNNING) {