get_cpu_info
extern struct cpu_info *get_cpu_info(int);
get_cpu_info(i)->ci_ddb != CI_DDB_STOPPED) {
get_cpu_info(i)->ci_ddb = CI_DDB_SHOULDSTOP;
mips64_send_ipi(get_cpu_info(i)->ci_cpuid, MIPS64_IPI_DDB);
get_cpu_info(i)->ci_ddb = CI_DDB_RUNNING;
get_cpu_info(db_switch_to_cpu)->ci_ddb = CI_DDB_ENTERDDB;
get_cpu_info(i)->ci_cpuid);
switch(get_cpu_info(i)->ci_ddb) {
get_cpu_info(i)->ci_ddb);
get_cpu_info(i)->ci_ddb = CI_DDB_RUNNING;
get_cpu_info(cpu)->ci_ddb = CI_DDB_RUNNING;
get_cpu_info(cpu)->ci_ddb != CI_DDB_STOPPED) {
get_cpu_info(cpu)->ci_ddb = CI_DDB_SHOULDSTOP;
struct cpu_info *ci = get_cpu_info(cpuid);
ci = get_cpu_info(ih->ih_cpuid);