X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_lowlevel.h;h=b4a2e8d3cbaf1f01d677913b3f50c54204f2dc18;hp=fe8cf44c2dd6471cf32048b57cadf9d59dde3563;hb=1f5b9287e61b8a4164f81e52dccf3ddd59a891f8;hpb=50dd6f837443d6f5a8cfb2410f1f8d95e8367b6a

diff --git a/palacios/include/palacios/vmx_lowlevel.h b/palacios/include/palacios/vmx_lowlevel.h
index fe8cf44..b4a2e8d 100644
--- a/palacios/include/palacios/vmx_lowlevel.h
+++ b/palacios/include/palacios/vmx_lowlevel.h
@@ -138,7 +138,7 @@ static inline int vmcs_store(struct vmcs_data* vmcs_ptr) {
     uint64_t vmcs_ptr_64 = (uint64_t)vmcs_ptr;
 
     __asm__ __volatile__ (
-               VMPTRSRT_OPCODE
+               VMPTRST_OPCODE
                EAX_07_MODRM
                :
                : "a"(&vmcs_ptr_64)