X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=650665803a39764c16b8ac2a559d2e7d83649626;hp=010fc76276301b38e8118ed4eb371bd9d7e09a8c;hb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14;hpb=0899a5c74318e582f3d6ebec52cc744cdb727734 diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index 010fc76..6506658 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -27,148 +27,219 @@ #include #include #include +#include #include #include -#include #include +#include +#include +#include + + +#ifdef CONFIG_TELEMETRY +#include +#endif + +#ifdef CONFIG_SYMBIOTIC_SWAP +#include +#endif + + struct v3_gprs { - v3_reg_t rdi; - v3_reg_t rsi; - v3_reg_t rbp; - v3_reg_t rsp; - v3_reg_t rbx; - v3_reg_t rdx; - v3_reg_t rcx; - v3_reg_t rax; -}; + v3_reg_t rdi; + v3_reg_t rsi; + v3_reg_t rbp; + v3_reg_t rsp; + v3_reg_t rbx; + v3_reg_t rdx; + v3_reg_t rcx; + v3_reg_t rax; + + v3_reg_t r8; + v3_reg_t r9; + v3_reg_t r10; + v3_reg_t r11; + v3_reg_t r12; + v3_reg_t r13; + v3_reg_t r14; + v3_reg_t r15; + +} __attribute__((packed)); struct v3_ctrl_regs { - v3_reg_t cr0; - v3_reg_t cr2; - v3_reg_t cr3; - v3_reg_t cr4; - v3_reg_t cr8; - v3_reg_t rflags; - v3_reg_t efer; + v3_reg_t cr0; + v3_reg_t cr2; + v3_reg_t cr3; + v3_reg_t cr4; + v3_reg_t cr8; + v3_reg_t rflags; + v3_reg_t efer; }; struct v3_dbg_regs { - v3_reg_t dr0; - v3_reg_t dr1; - v3_reg_t dr2; - v3_reg_t dr3; - v3_reg_t dr6; - v3_reg_t dr7; + v3_reg_t dr0; + v3_reg_t dr1; + v3_reg_t dr2; + v3_reg_t dr3; + v3_reg_t dr6; + v3_reg_t dr7; }; struct v3_segment { - ushort_t selector; - uint_t limit; - ullong_t base; - uint_t type : 4; - uint_t system : 1; - uint_t dpl : 2; - uint_t present : 1; - uint_t avail : 1; - uint_t long_mode : 1; - uint_t db : 1; - uint_t granularity : 1; -}; + uint16_t selector; + uint_t limit; + uint64_t base; + uint_t type : 4; + uint_t system : 1; + uint_t dpl : 2; + uint_t present : 1; + uint_t avail : 1; + uint_t long_mode : 1; + uint_t db : 1; + uint_t granularity : 1; +} __attribute__((packed)); struct v3_segments { - struct v3_segment cs; - struct v3_segment ds; - struct v3_segment es; - struct v3_segment fs; - struct v3_segment gs; - struct v3_segment ss; - struct v3_segment ldtr; - struct v3_segment gdtr; - struct v3_segment idtr; - struct v3_segment tr; + struct v3_segment cs; + struct v3_segment ds; + struct v3_segment es; + struct v3_segment fs; + struct v3_segment gs; + struct v3_segment ss; + struct v3_segment ldtr; + struct v3_segment gdtr; + struct v3_segment idtr; + struct v3_segment tr; }; + +#ifdef CONFIG_SYMBIOTIC +#include +#endif + +#include + struct shadow_page_state; -struct shadow_map; -struct vmm_io_map; -struct emulation_state; struct v3_intr_state; +#ifdef CONFIG_TELEMETRY +struct v3_telemetry; +#endif +#ifdef CONFIG_SYMBIOTIC_SWAP +struct v3_sym_swap_state; +#endif -typedef enum {SHADOW_PAGING, NESTED_PAGING} v3_paging_mode_t; -typedef enum {VM_RUNNING, VM_STOPPED, VM_SUSPENDED, VM_ERROR, VM_EMULATING} v3_vm_operating_mode_t; +#ifdef CONFIG_SYMBIOTIC +struct v3_sym_state; +#endif +struct guest_info { + uint64_t rip; -typedef enum {REAL, /*UNREAL,*/ PROTECTED, PROTECTED_PAE, LONG, LONG_32_COMPAT, LONG_16_COMPAT} v3_vm_cpu_mode_t; -typedef enum {PHYSICAL_MEM, VIRTUAL_MEM} v3_vm_mem_mode_t; + uint_t cpl; + 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 guest_info { - ullong_t rip; + struct vm_time time_state; - uint_t cpl; + + v3_paging_mode_t shdw_pg_mode; + struct shadow_page_state shdw_pg_state; + addr_t direct_map_pt; - struct shadow_map 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; - // nested_paging_t nested_page_state; + // This structure is how we get interrupts for the guest + struct v3_intr_state intr_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; + + struct v3_cpuid_map cpuid_map; + +#ifdef CONFIG_SYMBIOTIC + // Symbiotic state + struct v3_sym_state sym_state; +#endif + + v3_hypercall_map_t hcall_map; + // device_map + struct vmm_dev_mgr dev_mgr; - // This structure is how we get interrupts for the guest - struct v3_intr_state intr_state; + struct v3_host_events host_event_hooks; - struct vmm_io_map io_map; - // device_map + v3_cpu_mode_t cpu_mode; + v3_mem_mode_t mem_mode; + uint_t addr_width; - struct vmm_dev_mgr dev_mgr; - struct v3_host_events host_event_hooks; + struct v3_gprs vm_regs; + struct v3_ctrl_regs ctrl_regs; + struct v3_dbg_regs dbg_regs; + struct v3_segments segments; - v3_vm_cpu_mode_t cpu_mode; - v3_vm_mem_mode_t mem_mode; + v3_vm_operating_mode_t run_state; + void * vmm_data; + uint64_t yield_cycle_period; + uint64_t yield_start_cycle; + + uint64_t num_exits; - struct v3_gprs vm_regs; - struct v3_ctrl_regs ctrl_regs; - struct v3_dbg_regs dbg_regs; - struct v3_segments segments; +#ifdef CONFIG_TELEMETRY + uint_t enable_telemetry; + struct v3_telemetry_state telemetry; +#endif - struct emulation_state emulator; - v3_vm_operating_mode_t run_state; - void * vmm_data; +#ifdef CONFIG_SYMBIOTIC_SWAP + struct v3_sym_swap_state swap_state; +#endif - /* TEMP */ - //ullong_t exit_tsc; + void * decoder_state; + // the logical cpu this guest context is executing on + int cpu_id; }; -v3_vm_cpu_mode_t v3_get_cpu_mode(struct guest_info * info); -v3_vm_mem_mode_t v3_get_mem_mode(struct guest_info * info); +uint_t v3_get_addr_width(struct guest_info * info); +v3_cpu_mode_t v3_get_vm_cpu_mode(struct guest_info * info); +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_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