Index: kernel/genarch/include/mm/page_ht.h
===================================================================
--- kernel/genarch/include/mm/page_ht.h	(revision 80bcaed11c2e767559657092d6c13d1a7fdd449c)
+++ kernel/genarch/include/mm/page_ht.h	(revision d0febca9f86b5690d11fec7c645836a758567fe6)
@@ -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)