X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_halt.c;h=5316edc965437f1aa6edcde1c5b701f4430139c1;hb=3cd1d3771e3f8e30b09f6c4995851979aaafc5ff;hp=2f5f1bba06320b497367b92b030bc5a7fa6cdcb3;hpb=cafbc1318c847b8c18e2036dc56be7af7acefa4e;p=palacios-OLD.git

diff --git a/palacios/src/palacios/svm_halt.c b/palacios/src/palacios/svm_halt.c
index 2f5f1bb..5316edc 100644
--- a/palacios/src/palacios/svm_halt.c
+++ b/palacios/src/palacios/svm_halt.c
@@ -38,7 +38,7 @@
 // This should trigger a #GP if cpl!=0, otherwise, yield to host
 //
 
-int handle_svm_halt(struct guest_info * info)
+int v3_handle_svm_halt(struct guest_info * info)
 {
   if (info->cpl!=0) { 
     v3_raise_exception(info, GPF_EXCEPTION);