Changeset a5f007f in mainline

Timestamp:

2012-04-02T22:33:33Z (12 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

1bd99214

Parents:

07a8ef5

Message:

armv7, paging: Make User mapped devices not shareable.

Otherwise it causes pagefault. No idea why…

File:

• kernel/arch/arm32/include/mm/page_armv7.h (modified) (1 diff)

kernel/arch/arm32/include/mm/page_armv7.h

@@ -312 +312 @@
                 if (!(flags & PAGE_WRITE))
                         p->access_permission_1 = PTE_AP1_RO;
+                if (!(flags & PAGE_CACHEABLE)) {
+                        p->tex = 0x2;
+                        p->bufferable = 0;
+                        p->cacheable = 0;
+                }
         }
 }