duan ellis target tcl work in progress
[fw/openocd] / src / target / armv4_5.c
index 48a45865d5e1a812cbdaef2b8abf17935bb0ab6c..3812496edfade3a8926491ec8dca63e07f02b957 100644 (file)
@@ -302,7 +302,7 @@ int armv4_5_arch_state(struct target_s *target)
        
        LOG_USER("target halted in %s state due to %s, current mode: %s\ncpsr: 0x%8.8x pc: 0x%8.8x",
                         armv4_5_state_strings[armv4_5->core_state],
-                        target_debug_reason_strings[target->debug_reason],
+                        Jim_Nvp_value2name_simple( nvp_target_debug_reason, target->debug_reason )->name,
                         armv4_5_mode_strings[armv4_5_mode_to_number(armv4_5->core_mode)],
                         buf_get_u32(armv4_5->core_cache->reg_list[ARMV4_5_CPSR].value, 0, 32),
                         buf_get_u32(armv4_5->core_cache->reg_list[15].value, 0, 32));