X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=9083b62f46296e108ffb4c2dfa1cb235858941b3;hb=f224dad455ede0cdeadb60d0e428afcc869a4b2d;hp=cd2ce37be4d0eda8883951df0cd0d7dd443bf80e;hpb=28b1d0ae6db40cb3e1f5a9b3596b625d2f2af0e4;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index cd2ce37..9083b62 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -1,85 +1,133 @@ #ifndef __VM_GUEST_H #define __VM_GUEST_H +#ifdef __V3VEE__ + + #include #include #include #include #include #include -#include - -typedef ullong_t gpr_t; - -/* - struct guest_gprs { - addr_t rax; - addr_t rbx; - addr_t rcx; - addr_t rdx; - addr_t rsi; - addr_t rdi; - addr_t rbp; - }; -*/ - -struct guest_gprs { - gpr_t rdi; - gpr_t rsi; - gpr_t rbp; - gpr_t rsp; - gpr_t rbx; - gpr_t rdx; - gpr_t rcx; - gpr_t rax; +#include + + +typedef ullong_t v3_reg_t; + + + +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; +}; + + +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; }; +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; +}; + + +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 shadow_page_state; struct shadow_map; +struct vmm_io_map; struct vm_ctrl_ops { - int (*raise_irq)(struct guest_info * info, int irq, int error_code); + int (*raise_irq)(struct guest_info * info, int irq); }; -typedef enum {SHADOW_PAGING, NESTED_PAGING} vm_page_mode_t; -typedef enum {REAL, PROTECTED, PROTECTED_PG, PROTECTED_PAE, PROTECTED_PAE_PG, LONG, LONG_PG} vm_cpu_mode_t; + + + +typedef enum {SHADOW_PAGING, NESTED_PAGING} vmm_paging_mode_t; +typedef enum {REAL, /*UNREAL,*/ PROTECTED, PROTECTED_PAE, LONG} vm_cpu_mode_t; +typedef enum {PHYSICAL_MEM, VIRTUAL_MEM} vm_mem_mode_t; struct guest_info { ullong_t rip; + uint_t cpl; struct shadow_map mem_map; + struct vm_time time_state; - vm_page_mode_t page_mode; + vmm_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 vmm_irq_map irq_map; - vmm_io_map_t io_map; + struct vmm_io_map io_map; // device_map struct vmm_dev_mgr dev_mgr; vm_cpu_mode_t cpu_mode; + vm_mem_mode_t mem_mode; - struct guest_gprs vm_regs; + struct v3_gprs vm_regs; + struct v3_ctrl_regs ctrl_regs; + struct v3_segments segments; struct vm_ctrl_ops vm_ops; + + void * vmm_data; }; +void PrintV3Segments(struct guest_info * info); +void PrintV3CtrlRegs(struct guest_info * info); +void PrintV3GPRs(struct guest_info * info); + +#endif