X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=74e986e0e84874bf261b22662e4399e58a583a6a;hb=18aca3554039ac4b38e4e7991eacf41960d81e51;hp=ea2252d18a72b36974f603c29a1b05c694bd84dc;hpb=62406cf6b87a27a62921ce09a0aa44780ea25c06;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index ea2252d..74e986e 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -32,7 +32,7 @@ #include #include #include - +#include @@ -81,7 +81,7 @@ struct v3_segment { uint_t long_mode : 1; uint_t db : 1; uint_t granularity : 1; -}; +} __attribute__((packed)); struct v3_segments { @@ -95,14 +95,12 @@ struct v3_segments { struct v3_segment gdtr; struct v3_segment idtr; struct v3_segment tr; -}; +} ; struct shadow_page_state; -struct shadow_map; -struct vmm_io_map; struct emulation_state; struct v3_intr_state; - +struct v3_profiler; @@ -112,9 +110,12 @@ struct guest_info { uint_t cpl; - struct shadow_map mem_map; + addr_t mem_size; // Probably 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; @@ -125,7 +126,7 @@ struct guest_info { // This structure is how we get interrupts for the guest struct v3_intr_state intr_state; - struct vmm_io_map io_map; + v3_io_map_t io_map; struct v3_msr_map msr_map; // device_map @@ -143,11 +144,17 @@ struct guest_info { struct v3_dbg_regs dbg_regs; struct v3_segments segments; - struct emulation_state emulator; - v3_vm_operating_mode_t run_state; void * vmm_data; + + uint_t enable_profiler; + struct v3_profiler profiler; + + void * decoder_state; + + struct v3_msr guest_efer; + /* TEMP */ //ullong_t exit_tsc; @@ -158,6 +165,10 @@ 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); +const uchar_t * v3_cpu_mode_to_str(v3_vm_cpu_mode_t mode); +const uchar_t * v3_mem_mode_to_str(v3_vm_mem_mode_t mode); + + 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);