reworked the generic device to handle run time configurability

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

diff --git a/palacios/include/palacios/svm_halt.h b/palacios/include/palacios/svm_halt.h
index 7ffce50..2a4ad85 100644 (file)
--- a/palacios/include/palacios/svm_halt.h
+++ b/palacios/include/palacios/svm_halt.h
@@ -1,5 +1,12 @@
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __SVM_HALT_H
 #define __SVM_HALT_H
+
+#ifdef __V3VEE__
+
 #include <palacios/vm_guest.h>
 #include <palacios/vmcb.h>
 #include <palacios/vmm.h>
@@ -7,6 +14,6 @@
 
 int handle_svm_halt(struct guest_info * info);
 
-
+#endif // ! __V3VEE__
 
 #endif