X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=bf9d302503db9c689390cc030a560ec6405c002f;hb=f1e6da297651aadbc037f1635a82f41285a0a424;hp=18b50044483cf08b392515e0440a1113a980d0ee;hpb=f0e3b9e0d33d90a41cb2c3bb800ab38929c744b5;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 18b5004..bf9d302 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -186,6 +186,11 @@ struct guest_info {
 
     void * decoder_state;
 
+#ifdef CONFIG_SYMBIOTIC
+    // Symbiotic state
+    struct v3_sym_local_state sym_local_state;
+#endif
+
 
     struct v3_vm_info * vm_info;
     // the logical cpu this guest context is executing on
@@ -221,7 +226,7 @@ struct v3_vm_info {
 
 #ifdef CONFIG_SYMBIOTIC
     // Symbiotic state
-    struct v3_sym_state sym_state;
+    struct v3_sym_global_state sym_global_state;
 #ifdef CONFIG_SYMBIOTIC_SWAP
     struct v3_sym_swap_state swap_state;
 #endif