X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_handler.c;h=5736234e2b491475cb08f2bbcec0b292e2c54837;hb=cfcceed5890430afedcc544bd7dbb69e29dfd65a;hp=30d581e24c7f0af33ee8a9f1a49da989e5f465e3;hpb=f3eb8bbb7c58c98b03797f2188e6c1d2a7610c15;p=palacios.git

diff --git a/palacios/src/palacios/svm_handler.c b/palacios/src/palacios/svm_handler.c
index 30d581e..5736234 100644
--- a/palacios/src/palacios/svm_handler.c
+++ b/palacios/src/palacios/svm_handler.c
@@ -24,7 +24,7 @@
 #include <palacios/vmm_decoder.h>
 #include <palacios/vmm_ctrl_regs.h>
 #include <palacios/svm_io.h>
-#include <palacios/svm_halt.h>
+#include <palacios/vmm_halt.h>
 #include <palacios/svm_pause.h>
 #include <palacios/svm_wbinvd.h>
 #include <palacios/vmm_intr.h>
@@ -264,7 +264,7 @@ int v3_handle_svm_exit(struct guest_info * info) {
 #ifdef CONFIG_DEBUG_HALT
 	    PrintDebug("Guest halted\n");
 #endif
-	    if (v3_handle_svm_halt(info) == -1) {
+	    if (v3_handle_halt(info) == -1) {
 		return -1;
 	    }
 	    break;