Symbol: db_cpu_by_index
sys/ddb/db_cpu.c
75
return db_cpu_by_index(0);
sys/ddb/db_cpu.c
86
return db_cpu_by_index(idx + 1);