Symbol: db_md_switch_cpu_cmd
sys/arch/aarch64/aarch64/db_machdep.c
112
"cpu", db_md_switch_cpu_cmd, 0,
sys/arch/aarch64/aarch64/db_machdep.c
82
void db_md_switch_cpu_cmd(db_expr_t, bool, db_expr_t, const char *);