X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=18b50044483cf08b392515e0440a1113a980d0ee;hb=f0e3b9e0d33d90a41cb2c3bb800ab38929c744b5;hp=75686362b50439133e699b7f043714e173869c6c;hpb=1316eb77b6d89245583446dab3345f749c415764;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index 7568636..18b5004 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -32,8 +32,21 @@ #include #include #include -#include #include +#include + + +#ifdef CONFIG_TELEMETRY +#include +#endif + +#ifdef CONFIG_SYMBIOTIC_SWAP +#include +#endif + + + + @@ -92,6 +105,7 @@ struct v3_segment { uint_t long_mode : 1; uint_t db : 1; uint_t granularity : 1; + uint_t unusable : 1; } __attribute__((packed)); @@ -108,11 +122,24 @@ struct v3_segments { struct v3_segment tr; }; + +#ifdef CONFIG_SYMBIOTIC +#include +#endif + +#include + struct shadow_page_state; struct v3_intr_state; -struct v3_profiler; +#ifdef CONFIG_SYMBIOTIC_SWAP +struct v3_sym_swap_state; +#endif + +#ifdef CONFIG_SYMBIOTIC +struct v3_sym_state; +#endif struct guest_info { @@ -120,56 +147,103 @@ struct guest_info { uint_t cpl; - addr_t mem_size; // In bytes for now - v3_shdw_map_t mem_map; - - struct vm_time time_state; - v3_paging_mode_t shdw_pg_mode; struct shadow_page_state shdw_pg_state; addr_t direct_map_pt; // This structure is how we get interrupts for the guest - struct v3_intr_state intr_state; + struct v3_intr_core_state intr_core_state; // This structure is how we get exceptions for the guest struct v3_excp_state excp_state; - struct v3_io_map io_map; - struct v3_msr_map msr_map; + v3_cpu_mode_t cpu_mode; + v3_mem_mode_t mem_mode; + uint_t addr_width; + + struct v3_gprs vm_regs; + struct v3_ctrl_regs ctrl_regs; + struct v3_dbg_regs dbg_regs; + struct v3_segments segments; + + + void * vmm_data; + + uint64_t yield_start_cycle; + + uint64_t num_exits; + +#ifdef CONFIG_TELEMETRY + struct v3_core_telemetry core_telem; +#endif + + // struct v3_core_dev_mgr core_dev_mgr; + + void * decoder_state; + + + struct v3_vm_info * vm_info; + // the logical cpu this guest context is executing on + int cpu_id; +}; + + + + +struct v3_vm_info { + v3_vm_class_t vm_class; + + addr_t mem_size; // In bytes for now + struct v3_mem_map mem_map; + + + struct v3_io_map io_map; + struct v3_msr_map msr_map; + struct v3_cpuid_map cpuid_map; v3_hypercall_map_t hcall_map; + + struct v3_intr_routers intr_routers; // device_map struct vmm_dev_mgr dev_mgr; struct v3_host_events host_event_hooks; - v3_cpu_mode_t cpu_mode; - v3_mem_mode_t mem_mode; - uint_t addr_width; + struct v3_config * cfg_data; + v3_vm_operating_mode_t run_state; - struct v3_gprs vm_regs; - struct v3_ctrl_regs ctrl_regs; - struct v3_dbg_regs dbg_regs; - struct v3_segments segments; +#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_vm_operating_mode_t run_state; - void * vmm_data; - uint_t enable_profiler; - struct v3_profiler profiler; +#ifdef CONFIG_TELEMETRY + uint_t enable_telemetry; + struct v3_telemetry_state telemetry; +#endif + + uint64_t yield_cycle_period; + + int num_cores; + struct guest_info cores[0]; - void * decoder_state; }; +int v3_init_vm(struct v3_vm_info * vm); +int v3_init_core(struct guest_info * core); + uint_t v3_get_addr_width(struct guest_info * info); v3_cpu_mode_t v3_get_vm_cpu_mode(struct guest_info * info); @@ -179,15 +253,17 @@ 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); -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); -#endif // ! __V3VEE__ - +void v3_print_stack(struct guest_info * info); +#endif // ! __V3VEE__ #endif