Searched refs:dbg_monitor_init (Results 1 - 6 of 6) sorted by relevance

/freebsd-current/sys/arm/include/
H A Ddebug_monitor.h43 void dbg_monitor_init(void);
52 dbg_monitor_init(void) function
/freebsd-current/sys/arm64/include/
H A Ddebug_monitor.h55 void dbg_monitor_init(void);
/freebsd-current/sys/arm/arm/
H A Dmachdep.c633 dbg_monitor_init();
H A Ddebug_monitor.c959 dbg_monitor_init(void) function
/freebsd-current/sys/arm64/arm64/
H A Ddebug_monitor.c630 dbg_monitor_init(void) function
H A Dmachdep.c1086 dbg_monitor_init();

Completed in 102 milliseconds