Index: kernel/genarch/include/genarch/mm/page_pt.h
===================================================================
--- kernel/genarch/include/genarch/mm/page_pt.h	(revision b0c2075a579bc0b7840d9dd5002780f078d9c041)
+++ kernel/genarch/include/genarch/mm/page_pt.h	(revision 4a5f2b0d0771f06486f465afb4c77dcf32b9500b)
@@ -63,4 +63,10 @@
 #define PTL2_FRAMES  PTL2_FRAMES_ARCH
 #define PTL3_FRAMES  PTL3_FRAMES_ARCH
+
+/* Table sizes in each level (in bytes) */
+#define PTL0_SIZE  FRAMES2SIZE(PTL0_FRAMES)
+#define PTL1_SIZE  FRAMES2SIZE(PTL1_FRAMES)
+#define PTL2_SIZE  FRAMES2SIZE(PTL2_FRAMES)
+#define PTL3_SIZE  FRAMES2SIZE(PTL3_FRAMES)
 
 /*