X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_ctrl_regs.h;h=a72d248d8ed75b0f283040e204db959e0d59739d;hb=f4b074d9bf5c28dfd6e5fd616805ade2e9473b01;hp=96d5d16c92b9c646fbca9cde6a76b3f325772277;hpb=091d8b1fcfc3a766f6603d4c1c69d9f8f4bf3031;p=palacios.git

diff --git a/palacios/include/palacios/vmm_ctrl_regs.h b/palacios/include/palacios/vmm_ctrl_regs.h
index 96d5d16..a72d248 100644
--- a/palacios/include/palacios/vmm_ctrl_regs.h
+++ b/palacios/include/palacios/vmm_ctrl_regs.h
@@ -4,6 +4,8 @@
 #ifndef __VMM_CTRL_REGS_H
 #define __VMM_CTRL_REGS_H
 
+#ifdef __V3VEE__
+
 
 #include <palacios/vm_guest.h>
 
@@ -194,4 +196,7 @@ int handle_cr3_read(struct guest_info * info);
 #define CR3_32_COPY_BASE(source,dest) do { (dest)->pdt_base_addr = (source)->pdt_base_addr; } while (0)
 
 
+#endif // ! __V3VEE__
+
+
 #endif