X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_wbinvd.c;h=c8c11e62d6fdb3062f67c79d2108a3a9ff33daf1;hb=af7fc8afd1fe80621923faa0c065c0ae89f768ac;hp=85632d86823198ec0ed26689b7e917f6372430bc;hpb=3cd1d3771e3f8e30b09f6c4995851979aaafc5ff;p=palacios.git

diff --git a/palacios/src/palacios/svm_wbinvd.c b/palacios/src/palacios/svm_wbinvd.c
index 85632d8..c8c11e6 100644
--- a/palacios/src/palacios/svm_wbinvd.c
+++ b/palacios/src/palacios/svm_wbinvd.c
@@ -28,15 +28,15 @@
 // should raise #GP if CPL is not zero
 // Otherwise execute
 
-int v3_handle_svm_wbinvd(struct guest_info * info)
-{
-  if (info->cpl!=0) { 
-    PrintDebug("WBINVD: cpl!=0, injecting GPF\n");
-    v3_raise_exception(info,GPF_EXCEPTION);
-  } else {
-    info->rip+=2;
-    asm("wbinvd");
-  }
-  return 0;
+int v3_handle_svm_wbinvd(struct guest_info * info) {
 
+    if (info->cpl != 0) { 
+	PrintDebug("WBINVD: cpl != 0, injecting GPF\n");
+	v3_raise_exception(info, GPF_EXCEPTION);
+    } else {
+	info->rip += 2;
+	asm("wbinvd");
+    }
+
+    return 0;
 }