Index: arch/ia32/include/mm/page.h
===================================================================
--- arch/ia32/include/mm/page.h	(revision 0882a9a17a26cf3ed328548c95dfadf23263a59f)
+++ arch/ia32/include/mm/page.h	(revision ecbdc7245534ef719f1c33d657c2cee6ab034ab6)
@@ -45,4 +45,9 @@
  * IA-32 has 2-level page tables, so PTL1 and PTL2 are left out.
  */
+#define PTL0_ENTRIES_ARCH	1024
+#define PTL1_ENTRIES_ARCH	0
+#define PTL2_ENTRIES_ARCH	0
+#define PTL3_ENTRIES_ARCH	1024
+
 #define PTL0_INDEX_ARCH(vaddr)	(((vaddr)>>22)&0x3ff)
 #define PTL1_INDEX_ARCH(vaddr)	0
@@ -70,4 +75,6 @@
 #define SET_PTL3_FLAGS_ARCH(ptl2, 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)			(*((__u32 *) (p)) != 0)
 
 #ifndef __ASM__