Changeset 346b12a2 in mainline for kernel/generic

Timestamp:

2016-08-31T17:51:04Z (9 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

fb63c06

Parents:

38dc82d

Message:

Add page_mapping_update()

page_mapping_update() can be used to safely update the accessed and dirty
bits of a PTE in the actual page tables.

Location:

kernel/generic

Files:

• include/mm/page.h (modified) (2 diffs)
• src/mm/page.c (modified) (1 diff)

kernel/generic/include/mm/page.h

@@ -49 +49 @@
         void (* mapping_remove)(as_t *, uintptr_t);
         bool (* mapping_find)(as_t *, uintptr_t, bool, pte_t *);
+        void (* mapping_update)(as_t *, uintptr_t, bool, pte_t *);
         void (* mapping_make_global)(uintptr_t, size_t);
 } page_mapping_operations_t;
@@ -61 +62 @@
 extern void page_mapping_remove(as_t *, uintptr_t);
 extern bool page_mapping_find(as_t *, uintptr_t, bool, pte_t *);
+extern void page_mapping_update(as_t *, uintptr_t, bool, pte_t *);
 extern void page_mapping_make_global(uintptr_t, size_t);
 extern pte_t *page_table_create(unsigned int);

kernel/generic/src/mm/page.c

@@ -156 +156 @@
 }
 
+/** Update mapping for virtual page.
+ *
+ * Use only to update accessed and modified/dirty bits.
+ *
+ * @param as       Address space to which page belongs.
+ * @param page     Virtual page.
+ * @param nolock   True if the page tables need not be locked.
+ * @param pte      New PTE.
+ */
+NO_TRACE void page_mapping_update(as_t *as, uintptr_t page, bool nolock,
+    pte_t *pte)
+{
+        ASSERT(nolock || page_table_locked(as));
+        
+        ASSERT(page_mapping_operations);
+        ASSERT(page_mapping_operations->mapping_find);
+        
+        page_mapping_operations->mapping_update(as,
+            ALIGN_DOWN(page, PAGE_SIZE), nolock, pte);
+}
+
 /** Make the mapping shared by all page tables (not address spaces).
  *