From a85d497409d54ccc65a10bfca9fa0ac010f9ea32 Mon Sep 17 00:00:00 2001
From: Kees Jongenburger <kees.jongenburger@gmail.com>
Date: Fri, 13 Sep 2013 09:44:26 +0200
Subject: [PATCH] arm:caching mark memory as cacheable.

kernel mappings that are not marked as  VMMF_UNCACHED are now mapped
as cacheable.
---
 servers/vm/arch/i386/pagetable.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c
index 3ce1f0fbc..d41d77bde 100644
--- 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;