Symbol: dbg_monitor_init_secondary
sys/arm/arm/mp_machdep.c
165
dbg_monitor_init_secondary();
sys/arm/include/debug_monitor.h
44
void dbg_monitor_init_secondary(void);