X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_types.h;h=01e22b7d9cf35c806c167bad6e4563aca7df06f3;hb=4454a172129d12e97793c9c353339b85d3335af4;hp=82e83c6862556dba4ea3ab4d8fdcb271eb7ea790;hpb=a686a57429dcd9fa2f701228227dadcd096df8ed;p=palacios.git

diff --git a/palacios/include/palacios/vmm_types.h b/palacios/include/palacios/vmm_types.h
index 82e83c6..01e22b7 100644
--- a/palacios/include/palacios/vmm_types.h
+++ b/palacios/include/palacios/vmm_types.h
@@ -76,6 +76,10 @@ typedef char sint8_t;
 
 typedef ulong_t addr_t;
 typedef ullong_t v3_reg_t;
+
+typedef uint8_t v3_xmm_reg_t[16];
+typedef uint8_t v3_fp_mmx_reg_t[10];
+
 #endif /* ! __V3VEE__ */
 
 #endif