Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision bd1deed7b64271415d7ecf3951bd917d8093536f)
+++ kernel/genarch/include/mm/page_pt.h	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
@@ -55,4 +55,10 @@
 #define PTL2_ENTRIES			PTL2_ENTRIES_ARCH
 #define PTL3_ENTRIES			PTL3_ENTRIES_ARCH
+
+/* Table sizes in each level */
+#define PTL0_SIZE			PTL0_SIZE_ARCH
+#define PTL1_SIZE			PTL1_SIZE_ARCH
+#define PTL2_SIZE			PTL2_SIZE_ARCH
+#define PTL3_SIZE			PTL3_SIZE_ARCH
 
 /*