ARM_DEBUG_ARCH_V7_ECP14
case ARM_DEBUG_ARCH_V7_ECP14:
case ARM_DEBUG_ARCH_V7_ECP14:
return (arch >= ARM_DEBUG_ARCH_V6 && arch <= ARM_DEBUG_ARCH_V7_ECP14) ||
return (get_debug_arch() >= ARM_DEBUG_ARCH_V7_ECP14 &&
case ARM_DEBUG_ARCH_V7_ECP14:
if (debug_arch < ARM_DEBUG_ARCH_V7_ECP14)