+
+
struct v3_gprs {
v3_reg_t rdi;
v3_reg_t rsi;
uint_t long_mode : 1;
uint_t db : 1;
uint_t granularity : 1;
+ uint_t unusable : 1;
} __attribute__((packed));
#include <palacios/vmm_sym_iface.h>
#endif
+#include <palacios/vmm_config.h>
+
struct shadow_page_state;
struct v3_intr_state;
addr_t mem_size; // In bytes for now
v3_shdw_map_t mem_map;
+ struct v3_config * cfg_data;
+ v3_vm_class_t vm_class;
struct vm_time time_state;
#ifdef CONFIG_SYMBIOTIC
// Symbiotic state
struct v3_sym_state sym_state;
+
+#ifdef CONFIG_SYMBIOTIC_SWAP
+ struct v3_sym_swap_state swap_state;
+#endif
#endif
v3_hypercall_map_t hcall_map;
#endif
-#ifdef CONFIG_SYMBIOTIC_SWAP
- struct v3_sym_swap_state swap_state;
-#endif
+
void * decoder_state;
void v3_print_guest_state(struct guest_info * info);
-void v3_print_segments(struct guest_info * info);
+void v3_print_segments(struct v3_segments * segs);
void v3_print_ctrl_regs(struct guest_info * info);
void v3_print_GPRs(struct guest_info * info);
+void v3_print_stack(struct guest_info * info);
+
#endif // ! __V3VEE__
#endif