Searched refs:dbg_model (Results 1 – 1 of 1) sorted by relevance
76 static uint32_t dbg_model; /* Debug Arch. Model */ variable596 switch (dbg_model) { in dbg_enable_monitor()803 switch (dbg_model) { in dbg_get_ossr()819 switch (dbg_model) { in dbg_arch_supported()859 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()940 dbg_model = dbg_get_debug_model(); in dbg_monitor_init()949 (dbg_model == ID_DFR0_CP_DEBUG_M_V7) ? "v7" : in dbg_monitor_init()950 (dbg_model == ID_DFR0_CP_DEBUG_M_V7_1) ? "v7.1" : "unknown"); in dbg_monitor_init()