[PATCH] ARM: Add top_pmd, which points at the top-most page table

Signed-off-by: Russell King <rmk@arm.linux.org.uk>
diff --git a/include/asm-arm/page.h b/include/asm-arm/page.h
index 4ca3a8e..d26d157 100644
--- a/include/asm-arm/page.h
+++ b/include/asm-arm/page.h
@@ -171,6 +171,9 @@
 
 #endif /* STRICT_MM_TYPECHECKS */
 
+/* the upper-most page table pointer */
+extern pmd_t *top_pmd;
+
 /* Pure 2^n version of get_order */
 static inline int get_order(unsigned long size)
 {