Searched refs:dbg_monitor_init_secondary (Results 1 – 3 of 3) sorted by relevance
47 void dbg_monitor_init_secondary(void);
168 dbg_monitor_init_secondary(); in init_secondary()
978 dbg_monitor_init_secondary(void) in dbg_monitor_init_secondary() function