Searched refs:dbg_monitor_init_secondary (Results 1 - 3 of 3) sorted by relevance

/freebsd-12-stable/sys/arm/include/
H A Ddebug_monitor.h48 void dbg_monitor_init_secondary(void);
74 dbg_monitor_init_secondary(void) function
/freebsd-12-stable/sys/arm/arm/
H A Dmp_machdep.c168 dbg_monitor_init_secondary();
H A Ddebug_monitor.c979 dbg_monitor_init_secondary(void) function

Completed in 62 milliseconds