Symbol: dbg_monitor_is_enabled
sys/arm/arm/debug_monitor.c
591
if (dbg_monitor_is_enabled())
sys/arm/arm/debug_monitor.c
607
if (dbg_monitor_is_enabled())