X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_pause.c;h=b2197a435820bf0ba9c18a8615f714b7e4372e72;hb=6541ca672276d841db22cc18a003303cf517ea89;hp=c922ee3b16f326676f176533410d38d43006b868;hpb=3cd1d3771e3f8e30b09f6c4995851979aaafc5ff;p=palacios.git

diff --git a/palacios/src/palacios/svm_pause.c b/palacios/src/palacios/svm_pause.c
index c922ee3..b2197a4 100644
--- a/palacios/src/palacios/svm_pause.c
+++ b/palacios/src/palacios/svm_pause.c
@@ -24,12 +24,9 @@
 #include <palacios/vmm_intr.h>
 
 
-int v3_handle_svm_pause(struct guest_info * info)
-{
-  // handled as a nop
-
-  info->rip+=2;
-
-  return 0;
+int v3_handle_svm_pause(struct guest_info * info) {
+    // handled as a nop
+    info->rip+=2;
 
+    return 0;
 }