Index: arch/ia32/include/asm.h
===================================================================
--- arch/ia32/include/asm.h	(revision a3ac9a7e277c7bc7d416f4d9ad871db2c430696c)
+++ arch/ia32/include/asm.h	(revision a98d2ecd2f9c6faa76d404cc92cbe2f4e82f6279)
@@ -43,6 +43,6 @@
 
 
-void asm_delay_loop(__u32 t);
-void asm_fake_loop(__u32 t);
+extern void asm_delay_loop(__u32 t);
+extern void asm_fake_loop(__u32 t);
 
 
@@ -236,3 +236,12 @@
 }
 
+/** Invalidate TLB Entry.
+ *
+ * @param addr Address on a page whose TLB entry is to be invalidated.
+ */
+static inline void invlpg(__address addr)
+{
+	__asm__ volatile ("invlpg %0\n" :: "m" (addr));
+}
+
 #endif