X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_types.h;h=504b520869d61fc458772a0b4bc6c2f910b5a142;hb=7617d3cee4bd93b90558206b1bb1681c07f0396a;hp=6f1aadef5ab7eab6bf97fc34f2dac7baee68b8dc;hpb=6eecf583b522147ef13faabb634562f6f23bb712;p=palacios.git

diff --git a/palacios/include/palacios/vmm_types.h b/palacios/include/palacios/vmm_types.h
index 6f1aade..504b520 100644
--- a/palacios/include/palacios/vmm_types.h
+++ b/palacios/include/palacios/vmm_types.h
@@ -46,6 +46,8 @@ typedef char sint8_t;
 
 typedef ulong_t addr_t;
 
+#endif // ! __V3VEE__
+
 #endif
 
 #endif