X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm_pause.h;h=e92150be3495e313fe2327d847fcb62a8439eb39;hb=7617d3cee4bd93b90558206b1bb1681c07f0396a;hp=5db30efb13527e82cfd00dbd57d713678d00d103;hpb=20885b915c6caf47c8bd78d7b5b492fef388ac2d;p=palacios.releases.git

diff --git a/palacios/include/palacios/svm_pause.h b/palacios/include/palacios/svm_pause.h
index 5db30ef..e92150b 100644
--- a/palacios/include/palacios/svm_pause.h
+++ b/palacios/include/palacios/svm_pause.h
@@ -1,5 +1,11 @@
+/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
 #ifndef __SVM_PAUSE_H
 #define __SVM_PAUSE_H
+
+#ifdef __V3VEE__
+
 #include <palacios/vm_guest.h>
 #include <palacios/vmcb.h>
 #include <palacios/vmm.h>
@@ -8,5 +14,6 @@
 int handle_svm_pause(struct guest_info * info);
 
 
+#endif // ! __V3VEE__
 
 #endif