X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_types.h;h=ef9e498699565cdd54d9a8d9631630be72286fa2;hb=564e23ffc7505181975a4f82a5e8b0c88e535945;hp=96e5642e9d0f3edd1a5b1bce7940851ecd8e86b6;hpb=d38e1d6edeee83bfb1e3e3c6e2367faa5055bdfe;p=palacios.git

diff --git a/palacios/include/palacios/vmm_types.h b/palacios/include/palacios/vmm_types.h
index 96e5642..ef9e498 100644
--- a/palacios/include/palacios/vmm_types.h
+++ b/palacios/include/palacios/vmm_types.h
@@ -62,7 +62,7 @@ typedef unsigned char uint8_t;
 typedef char sint8_t;
 
 typedef ulong_t addr_t;
-
+typedef ullong_t v3_reg_t;
 #endif // ! __V3VEE__
 
 #endif