lot of changes

[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 752cee1..fbc9743 100644 (file)
--- a/palacios/include/palacios/vmm_types.h
+++ b/palacios/include/palacios/vmm_types.h
@@ -22,4 +22,13 @@ typedef unsigned long ulong_t;
 typedef unsigned long size_t;
 
 */
+
+
+
+typedef unsigned long long uint64_t;
+typedef long long sint64_t;
+
+typedef unsigned int uint32_t;
+typedef int sint32_t;
+
 #endif