X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_wbinvd.c;h=eb8a35f2801001b3cbae67c04510cd98c85c60bb;hb=9a32111c4074aafd55cd9590a24bd5c751a6fe61;hp=c8c11e62d6fdb3062f67c79d2108a3a9ff33daf1;hpb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;p=palacios.git

diff --git a/palacios/src/palacios/svm_wbinvd.c b/palacios/src/palacios/svm_wbinvd.c
index c8c11e6..eb8a35f 100644
--- a/palacios/src/palacios/svm_wbinvd.c
+++ b/palacios/src/palacios/svm_wbinvd.c
@@ -35,7 +35,7 @@ int v3_handle_svm_wbinvd(struct guest_info * info) {
 	v3_raise_exception(info, GPF_EXCEPTION);
     } else {
 	info->rip += 2;
-	asm("wbinvd");
+	asm volatile ("wbinvd" ::: "memory");
     }
 
     return 0;