large scale namespace changes

[palacios.git] / palacios / include / palacios / svm_halt.h

diff --git a/palacios/include/palacios/svm_halt.h b/palacios/include/palacios/svm_halt.h
index 009bcc9..1a29fc2 100644 (file)
--- a/palacios/include/palacios/svm_halt.h
+++ b/palacios/include/palacios/svm_halt.h
@@ -27,7 +27,7 @@
 #include <palacios/vmm.h>
 
 
-int handle_svm_halt(struct guest_info * info);
+int v3_handle_svm_halt(struct guest_info * info);
 
 #endif // ! __V3VEE__