X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=b5d481c4bc9b06a83aa28a752f787b6f65229b10;hb=fe36af6238917000f4cc8b971829e347732df598;hp=75686362b50439133e699b7f043714e173869c6c;hpb=1316eb77b6d89245583446dab3345f749c415764;p=palacios-OLD.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index 7568636..b5d481c 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -32,8 +32,19 @@ #include #include #include -#include #include +#include + + +#ifdef CONFIG_TELEMETRY +#include +#endif + +#ifdef CONFIG_SYMBIOTIC_SWAP +#include +#endif + + @@ -108,12 +119,25 @@ struct v3_segments { struct v3_segment tr; }; + +#ifdef CONFIG_SYMBIOTIC +#include +#endif + struct shadow_page_state; struct v3_intr_state; -struct v3_profiler; +#ifdef CONFIG_TELEMETRY +struct v3_telemetry; +#endif +#ifdef CONFIG_SYMBIOTIC_SWAP +struct v3_sym_swap_state; +#endif +#ifdef CONFIG_SYMBIOTIC +struct v3_sym_state; +#endif struct guest_info { uint64_t rip; @@ -142,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; @@ -163,11 +193,25 @@ struct guest_info { v3_vm_operating_mode_t run_state; void * vmm_data; + uint64_t yield_cycle_period; + uint64_t yield_start_cycle; + + uint64_t num_exits; + +#ifdef CONFIG_TELEMETRY + uint_t enable_telemetry; + struct v3_telemetry_state telemetry; +#endif + - uint_t enable_profiler; - struct v3_profiler profiler; +#ifdef CONFIG_SYMBIOTIC_SWAP + struct v3_sym_swap_state swap_state; +#endif void * decoder_state; + + // the logical cpu this guest context is executing on + int cpu_id; }; @@ -179,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); @@ -186,8 +232,8 @@ void v3_print_segments(struct guest_info * info); void v3_print_ctrl_regs(struct guest_info * info); void v3_print_GPRs(struct guest_info * info); -#endif // ! __V3VEE__ - +void v3_print_stack(struct guest_info * info); +#endif // ! __V3VEE__ #endif