From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Thu, 19 Feb 2009 23:05:21 +0000 (-0600)
Subject: reformat return code fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=8a9058301d5a8dc0509aea2c52fed7cd93b7c38d;p=palacios-OLD.git

reformat return code fix
---

diff --git a/palacios/src/palacios/svm_wbinvd.c b/palacios/src/palacios/svm_wbinvd.c
index 85632d8..9fe3dc3 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);
+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;
+    info->rip += 2;
     asm("wbinvd");
   }
-  return 0;
 
+  return 0;
 }