From 91004287be74bfe2223015046400cf25ee5279d5 Mon Sep 17 00:00:00 2001 From: Kees Jongenburger 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 6ee9dba47..49398f08c 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; -- 2.44.0