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