struct vm_time time_state;
v3_paging_mode_t shdw_pg_mode;
- struct shadow_page_state shdw_pg_state;
+ struct v3_shdw_pg_state shdw_pg_state;
addr_t direct_map_pt;
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
struct v3_mem_map mem_map;
+ struct v3_shdw_impl_state shdw_impl;
+
struct v3_io_map io_map;
struct v3_msr_map msr_map;
struct v3_cpuid_map cpuid_map;
#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