Merge branch 'ramdisk' into devel

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

diff --git a/palacios/include/palacios/vmm_types.h b/palacios/include/palacios/vmm_types.h
index 6f1aade..504b520 100644 (file)
--- 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