X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=29ea0c5c17900a3e01a88487e1ce59ca76f440dc;hb=a6865d183eedbdf3e5510e4be89dcb5ce51b5953;hp=0be223caf476de42adb45779e6ec7eb9e4cddc25;hpb=e70e95962c26832628d586e07f9cd1a2e1852d72;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index 0be223c..29ea0c5 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -17,22 +17,21 @@ * redistribute, and modify it as specified in the file "V3VEE_LICENSE". */ -#ifndef __VM_GUEST_H -#define __VM_GUEST_H +#ifndef __VM_GUEST_H__ +#define __VM_GUEST_H__ #ifdef __V3VEE__ - -#include #include +#include #include #include #include #include #include #include - -typedef ullong_t v3_reg_t; +#include +#include @@ -101,23 +100,10 @@ struct shadow_page_state; struct shadow_map; struct vmm_io_map; struct emulation_state; +struct v3_intr_state; -/*Zheng 07/30/2008*/ -struct vm_ctrl_ops { - int (*raise_irq)(struct guest_info * info, int irq); - int (*lower_irq)(struct guest_info * info, int irq); -}; - - - - -typedef enum {SHADOW_PAGING, NESTED_PAGING} vmm_paging_mode_t; -typedef enum {VM_RUNNING, VM_STOPPED, VM_SUSPENDED, VM_ERROR, VM_EMULATING} vm_operating_mode_t; -typedef enum {REAL, /*UNREAL,*/ PROTECTED, PROTECTED_PAE, LONG, LONG_32_COMPAT, LONG_16_COMPAT} vm_cpu_mode_t; -typedef enum {PHYSICAL_MEM, VIRTUAL_MEM} vm_mem_mode_t; - struct guest_info { @@ -125,26 +111,32 @@ struct guest_info { uint_t cpl; + addr_t mem_size; // Probably in bytes for now.... struct shadow_map mem_map; struct vm_time time_state; + - vmm_paging_mode_t shdw_pg_mode; + 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 vm_intr intr_state; + struct v3_intr_state intr_state; + + v3_io_map_t io_map; - struct vmm_io_map io_map; + struct v3_msr_map msr_map; // device_map struct vmm_dev_mgr dev_mgr; - vm_cpu_mode_t cpu_mode; - vm_mem_mode_t mem_mode; + struct v3_host_events host_event_hooks; + + v3_vm_cpu_mode_t cpu_mode; + v3_vm_mem_mode_t mem_mode; struct v3_gprs vm_regs; @@ -152,12 +144,13 @@ struct guest_info { struct v3_dbg_regs dbg_regs; struct v3_segments segments; - struct vm_ctrl_ops vm_ops; + v3_vm_operating_mode_t run_state; + void * vmm_data; - struct emulation_state emulator; - vm_operating_mode_t run_state; - void * vmm_data; + void * decoder_state; + + struct v3_msr guest_efer; /* TEMP */ //ullong_t exit_tsc; @@ -165,13 +158,17 @@ struct guest_info { }; -vm_cpu_mode_t get_cpu_mode(struct guest_info * info); -vm_mem_mode_t get_mem_mode(struct guest_info * info); +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 PrintV3Segments(struct guest_info * info); -void PrintV3CtrlRegs(struct guest_info * info); -void PrintV3GPRs(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__