|
@@ -58,7 +58,7 @@ ENTRY(v4_flush_kern_cache_all)
|
|
ENTRY(v4_flush_user_cache_range)
|
|
ENTRY(v4_flush_user_cache_range)
|
|
#ifdef CONFIG_CPU_CP15
|
|
#ifdef CONFIG_CPU_CP15
|
|
mov ip, #0
|
|
mov ip, #0
|
|
- mcreq p15, 0, ip, c7, c7, 0 @ flush ID cache
|
|
|
|
|
|
+ mcr p15, 0, ip, c7, c7, 0 @ flush ID cache
|
|
mov pc, lr
|
|
mov pc, lr
|
|
#else
|
|
#else
|
|
/* FALLTHROUGH */
|
|
/* FALLTHROUGH */
|