X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm_handler.h;h=bd3aae4596a6764eb11e487287ad81b1b837f0b1;hb=4b78b7d114f33ff94b1bba237c49084a05407f68;hp=da5967d6b879b33f5a28a421c5e66cdfdc5e0f55;hpb=8ee31494ea28d1756689574fb69791746daac3f3;p=palacios.releases.git

diff --git a/palacios/include/palacios/svm_handler.h b/palacios/include/palacios/svm_handler.h
index da5967d..bd3aae4 100644
--- a/palacios/include/palacios/svm_handler.h
+++ b/palacios/include/palacios/svm_handler.h
@@ -1,5 +1,8 @@
 #ifndef __SVM_HANDLER_H
 #define __SVM_HANDLER_H
+
+#ifdef __V3VEE__
+
 #include <palacios/svm.h>
 #include <palacios/vmcb.h>
 #include <palacios/vmm.h>
@@ -180,4 +183,6 @@ int handle_svm_intr(struct guest_info * info);
 
 int handle_svm_exit(struct guest_info * info);
 
+#endif // ! __V3VEE__
+
 #endif