arm:caching mark memory as cacheable.

kernel mappings that are not marked as  VMMF_UNCACHED are now mapped
as cacheable.
This commit is contained in:
Kees Jongenburger 2013-09-13 09:44:26 +02:00
parent 0f23130180
commit 91004287be

View file

@ -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;