|
@@ -38,10 +38,10 @@ ENTRY(v7wbi_flush_user_tlb_range)
|
|
|
dsb
|
|
|
mov r0, r0, lsr #PAGE_SHIFT @ align address
|
|
|
mov r1, r1, lsr #PAGE_SHIFT
|
|
|
-#ifdef CONFIG_ARM_ERRATA_720789
|
|
|
- mov r3, #0
|
|
|
-#else
|
|
|
asid r3, r3 @ mask ASID
|
|
|
+#ifdef CONFIG_ARM_ERRATA_720789
|
|
|
+ ALT_SMP(W(mov) r3, #0 )
|
|
|
+ ALT_UP(W(nop) )
|
|
|
#endif
|
|
|
orr r0, r3, r0, lsl #PAGE_SHIFT @ Create initial MVA
|
|
|
mov r1, r1, lsl #PAGE_SHIFT
|