arm:caching mark memory as cacheable.

kernel mappings that are not marked as  VMMF_UNCACHED are now mapped
as cacheable.

diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c
index 6ee9dba478183a36d92a2358a83f18e7ad13811d..49398f08ccff196bc1af2224003ca65f475f97a1 100644 (file)
--- a/servers/vm/arch/i386/pagetable.c
+++ b/servers/vm/arch/i386/pagetable.c
@@ -1131,6 +1131,9 @@ void pt_init(void)
                                kern_mappings[pindex].flags |= PTF_NOCACHE;
 #elif defined(__arm__)
                                kern_mappings[pindex].flags |= ARM_VM_PTE_DEVICE;
+                       else {
+                               kern_mappings[pindex].flags |= ARM_VM_PTE_CACHED;
+                       }
 #endif
                        if(flags & VMMF_USER)
                                kern_mappings[pindex].flags |= ARCH_VM_PTE_USER;