|
@@ -167,7 +167,7 @@ static int debug_arch_supported(void)
|
|
/* Can we determine the watchpoint access type from the fsr? */
|
|
/* Can we determine the watchpoint access type from the fsr? */
|
|
static int debug_exception_updates_fsr(void)
|
|
static int debug_exception_updates_fsr(void)
|
|
{
|
|
{
|
|
- return 0;
|
|
|
|
|
|
+ return get_debug_arch() >= ARM_DEBUG_ARCH_V8;
|
|
}
|
|
}
|
|
|
|
|
|
/* Determine number of WRP registers available. */
|
|
/* Determine number of WRP registers available. */
|
|
@@ -257,6 +257,7 @@ static int enable_monitor_mode(void)
|
|
break;
|
|
break;
|
|
case ARM_DEBUG_ARCH_V7_ECP14:
|
|
case ARM_DEBUG_ARCH_V7_ECP14:
|
|
case ARM_DEBUG_ARCH_V7_1:
|
|
case ARM_DEBUG_ARCH_V7_1:
|
|
|
|
+ case ARM_DEBUG_ARCH_V8:
|
|
ARM_DBG_WRITE(c0, c2, 2, (dscr | ARM_DSCR_MDBGEN));
|
|
ARM_DBG_WRITE(c0, c2, 2, (dscr | ARM_DSCR_MDBGEN));
|
|
isb();
|
|
isb();
|
|
break;
|
|
break;
|