#define CTR_CWG_SHIFT          24
 #define CTR_CWG_MASK           15
 
-#define ICACHE_POLICY_RESERVED 0
-#define ICACHE_POLICY_AIVIVT   1
 #define ICACHE_POLICY_VIPT     2
 #define ICACHE_POLICY_PIPT     3
 
 #define CTR_L1IP(ctr)  (((ctr) >> CTR_L1IP_SHIFT) & CTR_L1IP_MASK)
 
 #define ICACHEF_ALIASING       0
-#define ICACHEF_AIVIVT         1
 
 extern unsigned long __icache_flags;
 
        return test_bit(ICACHEF_ALIASING, &__icache_flags);
 }
 
-static inline int icache_is_aivivt(void)
-{
-       return test_bit(ICACHEF_AIVIVT, &__icache_flags);
-}
-
 static inline u32 cache_type_cwg(void)
 {
        return (read_cpuid_cachetype() >> CTR_CWG_SHIFT) & CTR_CWG_MASK;
 
        if (!icache_is_aliasing()) {            /* PIPT */
                flush_icache_range((unsigned long)va,
                                   (unsigned long)va + size);
-       } else if (!icache_is_aivivt()) {       /* non ASID-tagged VIVT */
+       } else {
                /* any kind of VIPT cache */
                __flush_icache_all();
        }
 
        /*
         * Linux can handle differing I-cache policies. Userspace JITs will
         * make use of *minLine.
-        * If we have differing I-cache policies, report it as the weakest - AIVIVT.
+        * If we have differing I-cache policies, report it as the weakest - VIPT.
         */
-       ARM64_FTR_BITS(FTR_VISIBLE, FTR_NONSTRICT, FTR_EXACT, 14, 2, ICACHE_POLICY_AIVIVT),     /* L1Ip */
+       ARM64_FTR_BITS(FTR_VISIBLE, FTR_NONSTRICT, FTR_EXACT, 14, 2, ICACHE_POLICY_VIPT),       /* L1Ip */
        ARM64_FTR_BITS(FTR_VISIBLE, FTR_STRICT, FTR_LOWER_SAFE, 0, 4, 0),       /* IminLine */
        ARM64_FTR_END,
 };
 
 static struct cpuinfo_arm64 boot_cpu_data;
 
 static char *icache_policy_str[] = {
-       [ICACHE_POLICY_RESERVED] = "RESERVED/UNKNOWN",
-       [ICACHE_POLICY_AIVIVT] = "AIVIVT",
-       [ICACHE_POLICY_VIPT] = "VIPT",
-       [ICACHE_POLICY_PIPT] = "PIPT",
+       [0 ... ICACHE_POLICY_PIPT]      = "RESERVED/UNKNOWN",
+       [ICACHE_POLICY_VIPT]            = "VIPT",
+       [ICACHE_POLICY_PIPT]            = "PIPT",
 };
 
 unsigned long __icache_flags;
        case ICACHE_POLICY_PIPT:
                break;
        default:
-       case ICACHE_POLICY_AIVIVT:
-               set_bit(ICACHEF_AIVIVT, &__icache_flags);
                /* Fallthrough */
        case ICACHE_POLICY_VIPT:
                /* Assume aliasing */
 
 
        /* Queue a TLB invalidate and flush the I-cache if necessary. */
        cpumask_setall(&tlb_flush_pending);
-
-       if (icache_is_aivivt())
-               __flush_icache_all();
 }
 
 static bool check_update_reserved_asid(u64 asid, u64 newasid)
 
        if (!test_and_set_bit(PG_dcache_clean, &page->flags))
                sync_icache_aliases(page_address(page),
                                    PAGE_SIZE << compound_order(page));
-       else if (icache_is_aivivt())
-               __flush_icache_all();
 }
 
 /*