ARM_DEBUG_ARCH_V7_1
case ARM_DEBUG_ARCH_V7_1:
case ARM_DEBUG_ARCH_V7_1:
arch >= ARM_DEBUG_ARCH_V7_1;
if (get_debug_arch() < ARM_DEBUG_ARCH_V7_1)
case ARM_DEBUG_ARCH_V7_1:
if (debug_arch < ARM_DEBUG_ARCH_V7_1) {