Lines Matching refs:dbg_model
78 static uint32_t dbg_model; /* Debug Arch. Model */ variable
570 switch (dbg_model) { in dbg_enable_monitor()
779 switch (dbg_model) { in dbg_get_ossr()
797 switch (dbg_model) { in dbg_arch_supported()
849 switch (dbg_model) { in dbg_reset_state()
890 if (((dbg_model & ID_DFR0_CP_DEBUG_M_V7_1) != 0) || dbg_ossr) { in dbg_reset_state()
936 dbg_model = dbg_get_debug_model(); in dbg_monitor_init()
945 (dbg_model == ID_DFR0_CP_DEBUG_M_V6) ? "v6" : in dbg_monitor_init()
946 (dbg_model == ID_DFR0_CP_DEBUG_M_V6_1) ? "v6.1" : in dbg_monitor_init()
947 (dbg_model == ID_DFR0_CP_DEBUG_M_V7) ? "v7" : in dbg_monitor_init()
948 (dbg_model == ID_DFR0_CP_DEBUG_M_V7_1) ? "v7.1" : "unknown"); in dbg_monitor_init()