Index: arch/amd64/include/asm.h
===================================================================
--- arch/amd64/include/asm.h	(revision a3ac9a7e277c7bc7d416f4d9ad871db2c430696c)
+++ arch/amd64/include/asm.h	(revision dd14cced76b628787db9a8988a5bc366c95c9f92)
@@ -33,7 +33,6 @@
 #include <config.h>
 
-
-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);
 
 /** Return base address of current stack.
@@ -229,4 +228,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));
+}
 
 extern size_t interrupt_handler_size;