Introduce invlpg() helper

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>

diff --git a/include/arch/x86/lib.h b/include/arch/x86/lib.h
index 2427a217518616b235b33401a8251ad7431042cd..df5002aacf487cc571a6d0c3814d508c38b6bc69 100644 (file)
--- a/include/arch/x86/lib.h
+++ b/include/arch/x86/lib.h
@@ -301,6 +301,11 @@ static inline void write_cr8(unsigned long cr8)
     asm volatile ("mov %0, %%cr8" :: "r" (cr8));
 }
 
+static inline void invlpg(const void *va)
+{
+    asm volatile ("invlpg (%0)" :: "r" (va));
+}
+
 #endif /* XTF_X86_LIB_H */
 
 /*