Index: genarch/include/mm/page_pt.h
===================================================================
--- genarch/include/mm/page_pt.h	(revision 9b2729c3ad8e7aff76bee8e6c6439ae01d9ab7f7)
+++ genarch/include/mm/page_pt.h	(revision bbf5657dad25b32db7ddb1df8d739a1b25d1822e)
@@ -39,4 +39,12 @@
 #include <typedefs.h>
 #include <mm/page.h>
+
+/*
+ * Number of entries in each level.
+ */
+#define PTL0_ENTRIES			PTL0_ENTRIES_ARCH
+#define PTL1_ENTRIES			PTL1_ENTRIES_ARCH
+#define PTL2_ENTRIES			PTL2_ENTRIES_ARCH
+#define PTL3_ENTRIES			PTL3_ENTRIES_ARCH
 
 /*
@@ -85,4 +93,9 @@
 #define SET_FRAME_FLAGS(ptl3, i, x)	SET_FRAME_FLAGS_ARCH(ptl3, i, x)
 
+/*
+ * Determine whether the mapping is valid.
+ */
+#define PTE_VALID(p)			PTE_VALID_ARCH((p))
+
 extern page_mapping_operations_t pt_mapping_operations;