Changeset c03ee1c in mainline for kernel/genarch/include/mm/page_pt.h

Timestamp:

2007-06-13T17:49:57Z (17 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

de7663f

Parents:

6b781c0

Message:

Improve comments for arch-specific implementations of hierarchical
4-level page tables. Improve formatting.

File:

• kernel/genarch/include/mm/page_pt.h (modified) (3 diffs)

kernel/genarch/include/mm/page_pt.h

@@ -83 +83 @@
 
 /*
- * These macros are provided to change shape of the 4-level
- * tree of page tables on respective level.
+ * These macros are provided to change the shape of the 4-level tree of page
+ * tables on respective level.
  */
 #define SET_PTL1_ADDRESS(ptl0, i, a)    SET_PTL1_ADDRESS_ARCH(ptl0, i, a)
@@ -107 +107 @@
 #define SET_FRAME_FLAGS(ptl3, i, x)     SET_FRAME_FLAGS_ARCH(ptl3, i, x)
 
+/*
+ * Macros for querying the last-level PTEs.
+ */
 #define PTE_VALID(p)            PTE_VALID_ARCH((p))
 #define PTE_PRESENT(p)          PTE_PRESENT_ARCH((p))
@@ -119 +122 @@
 extern page_mapping_operations_t pt_mapping_operations;
 
-extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame, int flags);
+extern void page_mapping_insert_pt(as_t *as, uintptr_t page, uintptr_t frame,
+    int flags);
 extern pte_t *page_mapping_find_pt(as_t *as, uintptr_t page);