X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=4384b13b8807b1341d8ed32bdf692c9dbabf66c9;hb=88648ddca6003a438826e7d86e28a2ba7b5bfcac;hp=67e546b412b7b087305bd1be70366cc26339fac4;hpb=068d7e66db537f981fde19a098a12e4390fa3de4;p=palacios.git diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h index 67e546b..4384b13 100644 --- a/palacios/include/palacios/vmx.h +++ b/palacios/include/palacios/vmx.h @@ -1,4 +1,3 @@ - /* * This file is part of the Palacios Virtual Machine Monitor developed * by the V3VEE Project with funding from the United States National @@ -8,12 +7,10 @@ * and the University of New Mexico. You can find out more at * http://www.v3vee.org * - * Copyright (c) 2008, Peter Dinda - * Copyright (c) 2008, Jack Lange - * Copyright (c) 2008, The V3VEE Project + * Copyright (c) 2011, Jack Lange + * Copyright (c) 2011, The V3VEE Project * All rights reserved. * - * Author: Peter Dinda * Author: Jack Lange * * This is free software. You are permitted to use, @@ -31,32 +28,12 @@ #include #include -// Intel VMX Specific MSRs -#define VMX_FEATURE_CONTROL_MSR 0x0000003a -#define VMX_BASIC_MSR 0x00000480 -#define VMX_PINBASED_CTLS_MSR 0x00000481 -#define VMX_PROCBASED_CTLS_MSR 0x00000482 -#define VMX_EXIT_CTLS_MSR 0x00000483 -#define VMX_ENTRY_CTLS_MSR 0x00000484 -#define VMX_MISC_MSR 0x00000485 -#define VMX_CR0_FIXED0_MSR 0x00000486 -#define VMX_CR0_FIXED1_MSR 0x00000487 -#define VMX_CR4_FIXED0_MSR 0x00000488 -#define VMX_CR4_FIXED1_MSR 0x00000489 -#define VMX_VMCS_ENUM_MSR 0x0000048A #define VMX_SUCCESS 0 #define VMX_FAIL_INVALID 1 #define VMX_FAIL_VALID 2 #define VMM_ERROR 3 -#define FEATURE_CONTROL_LOCK 0x00000001 -#define FEATURE_CONTROL_VMXON 0x00000004 -#define FEATURE_CONTROL_VALID ( FEATURE_CONTROL_LOCK | FEATURE_CONTROL_VMXON ) - - -#define CPUID_1_ECX_VTXFLAG 0x00000020 - struct vmx_pin_ctrls { union { @@ -119,7 +96,8 @@ struct vmx_sec_proc_ctrls { uint_t enable_rdtscp : 1; uint_t virt_x2apic : 1; uint_t enable_vpid : 1; - uint_t unrstrct_guest : 1; + uint_t wbinvd_exit : 1; + uint_t unrstrct_guest : 1; /* un restricted guest (CAN RUN IN REAL MODE) */ uint_t rsvd1 : 2; uint_t pause_loop_exit : 1; uint_t rsvd2 : 21; @@ -169,19 +147,15 @@ struct vmx_entry_ctrls { } __attribute__((packed)); } __attribute__((packed)); -struct vmx_basic_msr { - uint32_t revision; - uint_t regionSize : 13; - uint_t rsvd1 : 4; // Always 0 - uint_t physWidth : 1; - uint_t smm : 1; // Always 1 - uint_t memType : 4; - uint_t rsvd2 : 10; // Always 0 -} __attribute__((packed)); typedef enum { VMXASSIST_DISABLED, VMXASSIST_ENABLED +} vmxassist_state_t; + +typedef enum { + VMX_UNLAUNCHED, + VMX_LAUNCHED } vmx_state_t; struct tss_descriptor { @@ -205,7 +179,7 @@ struct tss_descriptor { uint_t zero4 : 5; uint_t rsvd2 : 19; #endif -}__attribute__((packed)); +} __attribute__((packed)); struct vmcs_host_state { struct v3_segment gdtr; @@ -213,13 +187,42 @@ struct vmcs_host_state { struct v3_segment tr; }; + +struct vmcs_msr_save_area { + union { + struct vmcs_msr_entry guest_msrs[4]; + struct { + struct vmcs_msr_entry guest_star; + struct vmcs_msr_entry guest_lstar; + struct vmcs_msr_entry guest_fmask; + struct vmcs_msr_entry guest_kern_gs; + } __attribute__((packed)); + } __attribute__((packed)); + + union { + struct vmcs_msr_entry host_msrs[4]; + struct { + struct vmcs_msr_entry host_star; + struct vmcs_msr_entry host_lstar; + struct vmcs_msr_entry host_fmask; + struct vmcs_msr_entry host_kern_gs; + } __attribute__((packed)); + } __attribute__((packed)); + +} __attribute__((packed)); + + struct vmx_data { vmx_state_t state; + vmxassist_state_t assist_state; struct vmcs_host_state host_state; + + addr_t vmcs_ptr_phys; - uint8_t ia32e_avail; + v3_reg_t guest_cr4; /// corresponds to the CR4 Read shadow + /* VMX Control Fields */ struct vmx_pin_ctrls pin_ctrls; @@ -227,11 +230,32 @@ struct vmx_data { struct vmx_sec_proc_ctrls sec_proc_ctrls; struct vmx_exit_ctrls exit_ctrls; struct vmx_entry_ctrls entry_ctrls; + + struct vmx_exception_bitmap excp_bmap; + + addr_t msr_area_paddr; + struct vmcs_msr_save_area * msr_area; }; int v3_is_vmx_capable(); -void v3_init_vmx_hooks(struct v3_ctrl_ops * vm_ops); + void v3_init_vmx_cpu(int cpu_id); +void v3_deinit_vmx_cpu(int cpu_id); + +int v3_init_vmx_vmcs(struct guest_info * info, v3_vm_class_t vm_class); +int v3_deinit_vmx_vmcs(struct guest_info * core); + +int v3_start_vmx_guest(struct guest_info* info); +int v3_reset_vmx_vm_core(struct guest_info * core, addr_t rip); +void v3_flush_vmx_vm_core(struct guest_info * core); + +int v3_vmx_enter(struct guest_info * info); + +int v3_vmx_load_core(struct guest_info * core, void * ctx); +int v3_vmx_save_core(struct guest_info * core, void * ctx); + + + #endif // ! __V3VEE__