Index: arch/amd64/include/mm/page.h
===================================================================
--- arch/amd64/include/mm/page.h	(revision 0882a9a17a26cf3ed328548c95dfadf23263a59f)
+++ arch/amd64/include/mm/page.h	(revision 2a46e10bda4f9665e1b831254e35ea3e01b97563)
@@ -48,4 +48,9 @@
 #endif
 
+#define PTL0_ENTRIES_ARCH	512
+#define PTL1_ENTRIES_ARCH	512
+#define PTL2_ENTRIES_ARCH	512
+#define PTL3_ENTRIES_ARCH	512
+
 #define PTL0_INDEX_ARCH(vaddr)	(((vaddr)>>39)&0x1ff)
 #define PTL1_INDEX_ARCH(vaddr)	(((vaddr)>>30)&0x1ff)
@@ -73,4 +78,6 @@
 #define SET_PTL3_FLAGS_ARCH(ptl2, i, x)         set_pt_flags((pte_t *)(ptl2), (index_t)(i), (x))
 #define SET_FRAME_FLAGS_ARCH(ptl3, i, x)	set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x))
+
+#define PTE_VALID_ARCH(p)			(*((__u64 *) (p)) != 0)
 
 #ifndef __ASM__