Merge branch 'pgt' (early part) into devel

diff --cc arch/arm/kernel/smp.c
Simple merge

diff --cc arch/arm/kernel/traps.c
Simple merge

diff --cc arch/arm/mm/mmu.c
Simple merge

diff --cc arch/arm/mm/proc-macros.S
index f8f777d,f5ca6aa..e32fa49
--- 1/arch/arm/mm/proc-macros.S
--- 2/arch/arm/mm/proc-macros.S
+++ b/arch/arm/mm/proc-macros.S
@@@ -152,14 -138,11 +152,14 @@@
  
        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
  

diff --cc arch/arm/mm/proc-v7.S
index 7401f4d,210d051..b49fab2
--- 1/arch/arm/mm/proc-v7.S
--- 2/arch/arm/mm/proc-v7.S
+++ b/arch/arm/mm/proc-v7.S
@@@ -148,14 -146,11 +146,14 @@@ ENTRY(cpu_v7_set_pte_ext
  
        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