X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_pause.c;h=b2197a435820bf0ba9c18a8615f714b7e4372e72;hb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;hp=c922ee3b16f326676f176533410d38d43006b868;hpb=5ac47589b79508967bd06b4022bbfc50de47423f;p=palacios.releases.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;
 }