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=977356d330c7acb142ecc8aa1463f7ae67c393c0;hpb=fc90c3287f85c66e1f6616685b66a8339145c3ee;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index 977356d..29ea0c5 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -1,71 +1,177 @@ -#ifndef __VM_GUEST_H -#define __VM_GUEST_H +/* + * This file is part of the Palacios Virtual Machine Monitor developed + * by the V3VEE Project with funding from the United States National + * Science Foundation and the Department of Energy. + * + * The V3VEE Project is a joint project between Northwestern University + * and the University of New Mexico. You can find out more at + * http://www.v3vee.org + * + * Copyright (c) 2008, Jack Lange + * Copyright (c) 2008, The V3VEE Project + * All rights reserved. + * + * Author: Jack Lange + * + * This is free software. You are permitted to use, + * redistribute, and modify it as specified in the file "V3VEE_LICENSE". + */ + +#ifndef __VM_GUEST_H__ +#define __VM_GUEST_H__ + +#ifdef __V3VEE__ -#include #include +#include #include #include #include +#include +#include +#include +#include +#include + + + +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; +}; -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; +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; +}; + + + +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; +}; + +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 emulation_state; +struct v3_intr_state; + + + -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; struct guest_info { ullong_t rip; + uint_t cpl; + addr_t mem_size; // Probably in bytes for now.... struct shadow_map mem_map; + struct vm_time time_state; + - vm_page_mode_t page_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; - vmm_io_map_t io_map; + struct v3_msr_map msr_map; // device_map - vm_cpu_mode_t cpu_mode; + struct vmm_dev_mgr dev_mgr; + + struct v3_host_events host_event_hooks; + + v3_vm_cpu_mode_t cpu_mode; + v3_vm_mem_mode_t mem_mode; - struct guest_gprs vm_regs; + struct v3_gprs vm_regs; + struct v3_ctrl_regs ctrl_regs; + struct v3_dbg_regs dbg_regs; + struct v3_segments segments; + v3_vm_operating_mode_t run_state; void * vmm_data; + + + void * decoder_state; + + struct v3_msr guest_efer; + + /* TEMP */ + //ullong_t exit_tsc; + }; +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); + +#endif // ! __V3VEE__ + #endif