Symbol: dbg_monitor_init
sys/arm/arm/machdep.c
644
dbg_monitor_init();
sys/arm/include/debug_monitor.h
43
void dbg_monitor_init(void);
sys/arm64/arm64/machdep.c
971
dbg_monitor_init();
sys/arm64/include/debug_monitor.h
55
void dbg_monitor_init(void);