x86,vmx: Remove broken and unused __vmptrst().

Signed-off-by: Keir Fraser <keir@xen.org>

diff --git a/xen/include/asm-x86/hvm/vmx/vmx.h b/xen/include/asm-x86/hvm/vmx/vmx.h
index dd620b943eb6fba55dc2fbd5df67e3d55443dd1b..03cb7d97b527cd8db82d5faf69d24cb083452b20 100644 (file)
--- a/xen/include/asm-x86/hvm/vmx/vmx.h
+++ b/xen/include/asm-x86/hvm/vmx/vmx.h
@@ -231,15 +231,6 @@ static inline void __vmptrld(u64 addr)
                    : "memory");
 }
 
-static inline void __vmptrst(u64 addr)
-{
-    asm volatile ( VMPTRST_OPCODE
-                   MODRM_EAX_07
-                   :
-                   : "a" (&addr)
-                   : "memory");
-}
-
 static inline void __vmpclear(u64 addr)
 {
     asm volatile ( VMCLEAR_OPCODE