Index: kernel/genarch/include/mm/page_ht.h
===================================================================
--- kernel/genarch/include/mm/page_ht.h	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ kernel/genarch/include/mm/page_ht.h	(revision bc1f1c27820ae147ea90ebc58ae2f9a5e0b343ca)
@@ -51,6 +51,7 @@
 
 #define PAGE_HT_ENTRIES_BITS	13
-#define PAGE_HT_ENTRIES		(1<<PAGE_HT_ENTRIES_BITS)
+#define PAGE_HT_ENTRIES		(1 << PAGE_HT_ENTRIES_BITS)
 
+/* Macros for querying page hash table PTEs. */
 #define PTE_VALID(pte)		((pte) != NULL)
 #define PTE_PRESENT(pte)	((pte)->p != 0)
Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ kernel/genarch/include/mm/page_pt.h	(revision bc1f1c27820ae147ea90ebc58ae2f9a5e0b343ca)
@@ -83,6 +83,6 @@
 
 /*
- * 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,4 +107,7 @@
 #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,5 +122,6 @@
 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);