From: Peter Dinda <pdinda@northwestern.edu>
Date: Thu, 16 Jun 2011 17:53:09 +0000 (-0500)
Subject: SVM wbinvd handler change to assure correct assembly
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=cd4508e49cab8f3dcc2ed0dfe91a63fc088c6e87;p=palacios.git

SVM wbinvd handler change to assure correct assembly
---

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;