|
@@ -142,11 +142,7 @@ ENTRY(cpu_do_switch_mm)
|
|
|
bfi x0, x1, #48, #16 // set the ASID
|
|
|
msr ttbr0_el1, x0 // set TTBR0
|
|
|
isb
|
|
|
-alternative_if ARM64_WORKAROUND_CAVIUM_27456
|
|
|
- ic iallu
|
|
|
- dsb nsh
|
|
|
- isb
|
|
|
-alternative_else_nop_endif
|
|
|
+ post_ttbr0_update_workaround
|
|
|
ret
|
|
|
ENDPROC(cpu_do_switch_mm)
|
|
|
|