uint_t long_mode : 1;
uint_t db : 1;
uint_t granularity : 1;
+ uint_t unusable : 1;
} __attribute__((packed));
#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);