arm:clarify pagetable code.

Make it clear that non RW mapped memory is mapped RO.

diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c
index 97200278a8b64c7784600902e46a1889a84bfe71..76d285195e3bad39b0e71169b3aa471fc0db519e 100644 (file)
--- a/servers/vm/arch/i386/pagetable.c
+++ b/servers/vm/arch/i386/pagetable.c
@@ -1139,13 +1139,16 @@ void pt_init(void)
 #endif
                        if(flags & VMMF_WRITE)
                                kern_mappings[pindex].flags |= ARCH_VM_PTE_RW;
+#if defined(__arm__)
+                       else 
+                               kern_mappings[pindex].flags |= ARCH_VM_PTE_RO;
+#endif
+
 #if defined(__i386__)
                        if(flags & VMMF_GLO)
                                kern_mappings[pindex].flags |= I386_VM_GLOBAL;
-#elif defined(__arm__)
-                       else
-                               kern_mappings[pindex].flags |= ARCH_VM_PTE_RO;
 #endif
+
                        if(addr % VM_PAGE_SIZE)
                                panic("VM: addr unaligned: %lu", addr);
                        if(len % VM_PAGE_SIZE)