X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=d8444a600e88f5808a1ae4c1b905c0e33455cce0;hb=ed8feff1d5dd6bf028cd5ba0960ec125505d7597;hp=68504b4032c4b1cf413f02b9f9be9ccdf4bb15a6;hpb=068d7e66db537f981fde19a098a12e4390fa3de4;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index 68504b4..d8444a6 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -33,6 +33,7 @@ #include #include #include +#include #ifdef CONFIG_TELEMETRY @@ -44,6 +45,9 @@ #endif + + + struct v3_gprs { v3_reg_t rdi; v3_reg_t rsi; @@ -115,6 +119,11 @@ struct v3_segments { struct v3_segment tr; }; + +#ifdef CONFIG_SYMBIOTIC +#include +#endif + struct shadow_page_state; struct v3_intr_state; @@ -126,6 +135,9 @@ struct v3_telemetry; struct v3_sym_swap_state; #endif +#ifdef CONFIG_SYMBIOTIC +struct v3_sym_state; +#endif struct guest_info { uint64_t rip; @@ -154,6 +166,12 @@ struct guest_info { struct v3_msr_map msr_map; + struct v3_cpuid_map cpuid_map; + +#ifdef CONFIG_SYMBIOTIC + // Symbiotic state + struct v3_sym_state sym_state; +#endif v3_hypercall_map_t hcall_map; @@ -205,6 +223,8 @@ v3_mem_mode_t v3_get_vm_mem_mode(struct guest_info * info); const uchar_t * v3_cpu_mode_to_str(v3_cpu_mode_t mode); const uchar_t * v3_mem_mode_to_str(v3_mem_mode_t mode); +int v3_translate_segment(struct guest_info * info, uint16_t selector, struct v3_segment * seg); + void v3_print_guest_state(struct guest_info * info);