|
@@ -371,8 +371,10 @@ ENTRY(cpu_xsc3_switch_mm)
|
|
|
ENTRY(cpu_xsc3_set_pte)
|
|
|
str r1, [r0], #-2048 @ linux version
|
|
|
|
|
|
- bic r2, r1, #0xdf0 @ Keep C, B, coherency bits
|
|
|
+ bic r2, r1, #0xff0 @ Keep C, B bits
|
|
|
orr r2, r2, #PTE_TYPE_EXT @ extended page
|
|
|
+ tst r1, #L_PTE_SHARED @ Shared?
|
|
|
+ orrne r2, r2, #0x200
|
|
|
|
|
|
eor r3, r1, #L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_WRITE | L_PTE_DIRTY
|
|
|
|