|
@@ -69,6 +69,9 @@ void flush_cache_range(struct vm_area_struct *vma, unsigned long start, unsigned
|
|
|
: "cc");
|
|
|
__flush_icache_all();
|
|
|
}
|
|
|
+
|
|
|
+ if (vma->vm_flags & VM_EXEC && icache_is_vivt_asid_tagged())
|
|
|
+ __flush_icache_all();
|
|
|
}
|
|
|
|
|
|
void flush_cache_page(struct vm_area_struct *vma, unsigned long user_addr, unsigned long pfn)
|
|
@@ -82,6 +85,9 @@ void flush_cache_page(struct vm_area_struct *vma, unsigned long user_addr, unsig
|
|
|
flush_pfn_alias(pfn, user_addr);
|
|
|
__flush_icache_all();
|
|
|
}
|
|
|
+
|
|
|
+ if (vma->vm_flags & VM_EXEC && icache_is_vivt_asid_tagged())
|
|
|
+ __flush_icache_all();
|
|
|
}
|
|
|
|
|
|
void flush_ptrace_access(struct vm_area_struct *vma, struct page *page,
|