From 1c583342313dd350e00e614638caadc8f89656cd Mon Sep 17 00:00:00 2001 From: Kees Jongenburger Date: Wed, 25 Sep 2013 10:30:18 +0200 Subject: [PATCH] arm:caching map pagedir dir as cacheable. The pagedir is located in cacheable normal memory. Whe therefore also need to map it as such. Change-Id: I7b506fd75553917fdc1abd25b55e4b2f25ccbf8d --- servers/vm/arch/i386/pagetable.c | 1 + 1 file changed, 1 insertion(+) diff --git a/servers/vm/arch/i386/pagetable.c b/servers/vm/arch/i386/pagetable.c index 49398f08c..57963f5ca 100644 --- a/servers/vm/arch/i386/pagetable.c +++ b/servers/vm/arch/i386/pagetable.c @@ -1324,6 +1324,7 @@ int pt_bind(pt_t *pt, struct vmproc *who) (phys+i*VM_PAGE_SIZE) | ARCH_VM_PTE_PRESENT | ARCH_VM_PTE_RW + | ARM_VM_PTE_CACHED | ARCH_VM_PTE_USER; //LSC FIXME } }