Changeset 346b12a2 in mainline for kernel/generic/src/mm/page.c

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.

File:

• kernel/generic/src/mm/page.c (modified) (1 diff)

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).
  *