Remove BUILD_TARGET64

[fw/openocd] / src / target / armv7a_mmu.c

diff --git a/src/target/armv7a_mmu.c b/src/target/armv7a_mmu.c
index f83228d5584b44c2be973c44ddfc2312d2d171e0..eec14a36fb005149dcbfd6be9fcb8b2aaedd70d9 100644 (file)
--- a/src/target/armv7a_mmu.c
+++ b/src/target/armv7a_mmu.c
@@ -62,12 +62,6 @@ int armv7a_mmu_translate_va_pa(struct target *target, uint32_t va,
 
        /* decode memory attribute */
        SS = (value >> 1) & 1;
-#if !BUILD_TARGET64
-       if (SS) {
-               LOG_ERROR("Super section found with no-64 bit address support");
-               return ERROR_FAIL;
-       }
-#endif
        NOS = (value >> 10) & 1;        /*  Not Outer shareable */
        NS = (value >> 9) & 1;  /* Non secure */
        INNER = (value >> 4) &  0x7;