DDB_STATE_EXITING  124 arch/i386/i386/db_interface.c 	if (ddb_state == DDB_STATE_EXITING)
DDB_STATE_EXITING  172 arch/i386/i386/db_interface.c 			ddb_state = DDB_STATE_EXITING;
DDB_STATE_EXITING   68 arch/i386/i386/db_mp.c 	if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {