tst     r1, #L_PTE_USER
        orrne   r3, r3, #PTE_EXT_AP1
 +#ifdef CONFIG_CPU_USE_DOMAINS
 +      @ allow kernel read/write access to read-only user pages
        tstne   r3, #PTE_EXT_APX
        bicne   r3, r3, #PTE_EXT_APX | PTE_EXT_AP0
 +#endif
  
-       tst     r1, #L_PTE_EXEC
-       orreq   r3, r3, #PTE_EXT_XN
+       tst     r1, #L_PTE_XN
+       orrne   r3, r3, #PTE_EXT_XN
  
        orr     r3, r3, r2
  
 
  
        tst     r1, #L_PTE_USER
        orrne   r3, r3, #PTE_EXT_AP1
 +#ifdef CONFIG_CPU_USE_DOMAINS
 +      @ allow kernel read/write access to read-only user pages
        tstne   r3, #PTE_EXT_APX
        bicne   r3, r3, #PTE_EXT_APX | PTE_EXT_AP0
 +#endif
  
-       tst     r1, #L_PTE_EXEC
-       orreq   r3, r3, #PTE_EXT_XN
+       tst     r1, #L_PTE_XN
+       orrne   r3, r3, #PTE_EXT_XN
  
        tst     r1, #L_PTE_YOUNG
        tstne   r1, #L_PTE_PRESENT