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
2013-09-25 10:30:18 +02:00 · 2013-09-25 10:30:18 +02:00 · 1c58334231
commit 1c58334231
parent 5b8599192c
1 changed files with 1 additions and 0 deletions
--- 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
 	}
 }