X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_pause.c;h=b2197a435820bf0ba9c18a8615f714b7e4372e72;hb=5f0b4f8c5f9f53cea37dde072b37d09ba316487d;hp=0018a604ab7145481fabbf15842d09286afb6124;hpb=e70e95962c26832628d586e07f9cd1a2e1852d72;p=palacios.git

diff --git a/palacios/src/palacios/svm_pause.c b/palacios/src/palacios/svm_pause.c
index 0018a60..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 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;
 }