almost done with the namespace protection via -D__V3VEE__ header wrappers

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

diff --git a/palacios/include/palacios/vmm_ctrl_regs.h b/palacios/include/palacios/vmm_ctrl_regs.h
index 96d5d16..a72d248 100644 (file)
--- 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