X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=b435390f0dbf320d0d4336fd0cce54b4623a3ee2;hb=e73f2133673d681426d946d2f5bd8b363a1ab2c1;hp=9475597d5d37929387b026bdd9cbc320b1c38f03;hpb=6f089682a19a99474faf05f74b44f9f71f58b30b;p=palacios.git diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h index 9475597..b435390 100644 --- a/palacios/include/palacios/vm_guest.h +++ b/palacios/include/palacios/vm_guest.h @@ -1,134 +1,219 @@ -#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 +#include +#include +#include +#include + +#ifdef CONFIG_TELEMETRY +#include +#endif -typedef ullong_t v3_reg_t; +#ifdef CONFIG_SYMBIOTIC +#include +struct v3_sym_core_state; +#endif +#include +struct v3_intr_state; -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; -}; +/* per-core state */ +struct guest_info { + char exec_name[256]; + + uint64_t rip; -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; -}; + uint_t cpl; + struct vm_time time_state; -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; -}; + v3_paging_mode_t shdw_pg_mode; + struct v3_shdw_pg_state shdw_pg_state; + addr_t direct_map_pt; + + + union { + uint32_t flags; + struct { + uint8_t use_large_pages : 1; /* Enable virtual page tables to use large pages */ + uint8_t use_giant_pages : 1; /* Enable virtual page tables to use giant (1GB) pages */ + uint32_t rsvd : 30; + } __attribute__((packed)); + } __attribute__((packed)); + + + /* This structure is how we get interrupts for the guest */ + struct v3_intr_core_state intr_core_state; + + /* This structure is how we get exceptions for the guest */ + struct v3_excp_state excp_state; + + + v3_cpu_mode_t cpu_mode; + v3_mem_mode_t mem_mode; + + + struct v3_gprs vm_regs; + struct v3_ctrl_regs ctrl_regs; + struct v3_dbg_regs dbg_regs; + struct v3_segments segments; + + + void * vmm_data; + + uint64_t yield_start_cycle; + + uint64_t num_exits; + +#ifdef CONFIG_TELEMETRY + struct v3_core_telemetry core_telem; +#endif -struct shadow_page_state; -struct shadow_map; -struct vmm_io_map; + /* struct v3_core_dev_mgr core_dev_mgr; */ -struct vm_ctrl_ops { - int (*raise_irq)(struct guest_info * info, int irq); + void * decoder_state; + +#ifdef CONFIG_SYMBIOTIC + /* Symbiotic state */ + struct v3_sym_core_state sym_core_state; +#endif + + /* Per-core config tree data. */ + v3_cfg_tree_t * core_cfg_data; + + struct v3_vm_info * vm_info; + + v3_core_operating_mode_t core_run_state; + + /* the logical cpu on which this core runs */ + uint32_t cpu_id; }; +/* shared state across cores */ +struct v3_vm_info { + char name[128]; + v3_vm_class_t vm_class; -typedef enum {SHADOW_PAGING, NESTED_PAGING} vmm_paging_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; + addr_t mem_size; /* In bytes for now */ + uint32_t mem_align; + struct v3_mem_map mem_map; -struct guest_info { - ullong_t rip; + v3_paging_size_t paging_size; // for nested paging + + struct v3_mem_hooks mem_hooks; + + struct v3_shdw_impl_state shdw_impl; - uint_t cpl; + struct v3_io_map io_map; + struct v3_msr_map msr_map; + struct v3_cpuid_map cpuid_map; - struct shadow_map mem_map; + v3_hypercall_map_t hcall_map; - struct vm_time time_state; - - 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; + struct v3_intr_routers intr_routers; - // This structure is how we get interrupts for the guest - struct vm_intr intr_state; + /* device_map */ + struct vmm_dev_mgr dev_mgr; - struct vmm_io_map io_map; - // device_map + struct v3_host_events host_event_hooks; - struct vmm_dev_mgr dev_mgr; + struct v3_config * cfg_data; - vm_cpu_mode_t cpu_mode; - vm_mem_mode_t mem_mode; + v3_vm_operating_mode_t run_state; + +#ifdef CONFIG_SYMBIOTIC + /* Symbiotic state */ + struct v3_sym_vm_state sym_vm_state; +#endif - struct v3_gprs vm_regs; - struct v3_ctrl_regs ctrl_regs; - struct v3_segments segments; - struct vm_ctrl_ops vm_ops; +#ifdef CONFIG_TELEMETRY + uint_t enable_telemetry; + struct v3_telemetry_state telemetry; +#endif + uint64_t yield_cycle_period; - void * vmm_data; + void * host_priv_data; + + int num_cores; + + // JRL: This MUST be the last entry... + struct guest_info cores[0]; }; +int v3_init_vm(struct v3_vm_info * vm); +int v3_init_core(struct guest_info * core); -void PrintV3Segments(struct guest_info * info); -void PrintV3CtrlRegs(struct guest_info * info); -void PrintV3GPRs(struct guest_info * info); +int v3_free_vm_internal(struct v3_vm_info * vm); +int v3_free_core(struct guest_info * core); -#endif +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 v3_segments * segs); +void v3_print_ctrl_regs(struct guest_info * info); +void v3_print_GPRs(struct guest_info * info); + +void v3_print_stack(struct guest_info * info); + +#endif /* ! __V3VEE__ */ +void v3_print_guest_state_all(struct v3_vm_info * vm); #endif