DDB_STATE_EXITING
if (ddb_state == DDB_STATE_EXITING)
ddb_state = DDB_STATE_EXITING;
if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {
if (ddb_state == DDB_STATE_EXITING)
ddb_state = DDB_STATE_EXITING;
if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {
if (ddb_state == DDB_STATE_EXITING)
ddb_state = DDB_STATE_EXITING;
if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {
if (ddb_state == DDB_STATE_EXITING)
ddb_state = DDB_STATE_EXITING;
if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {
ddb_state = DDB_STATE_EXITING;
if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {
if (ddb_state == DDB_STATE_EXITING)
if (ddb_state == DDB_STATE_EXITING)
ddb_state = DDB_STATE_EXITING;
if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {
if (ddb_state == DDB_STATE_EXITING)
ddb_state = DDB_STATE_EXITING;
if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {
if (ddb_state == DDB_STATE_EXITING)
ddb_state = DDB_STATE_EXITING;
if (ddb_active_cpu == cpu_number() && ddb_state == DDB_STATE_EXITING) {