X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=4ac707b4e0290fe99bab16e37123046399feb7e0;hp=3b407845d003d9c981c0f067a4c7e0998c51161a;hb=52a58bb7bdf06ca22ad6883f8095f8aa5ca4b8a4;hpb=101529b6eae500272347287df43ec51aa003d0aa diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h index 3b40784..4ac707b 100644 --- a/palacios/include/palacios/vmx.h +++ b/palacios/include/palacios/vmx.h @@ -1,88 +1,126 @@ -/* (c) 2008, Peter Dinda */ -/* (c) 2008, Jack Lange */ -/* (c) 2008, The V3VEE Project */ + +/* + * 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, Peter Dinda + * Copyright (c) 2008, Jack Lange + * Copyright (c) 2008, The V3VEE Project + * All rights reserved. + * + * Author: Peter Dinda + * Author: Jack Lange + * + * This is free software. You are permitted to use, + * redistribute, and modify it as specified in the file "V3VEE_LICENSE". + */ + #ifndef __VMX_H #define __VMX_H +#ifdef __V3VEE__ + #include #include - -#define IA32_FEATURE_CONTROL_MSR ((unsigned int)0x3a) -#define IA32_VMX_BASIC_MSR ((unsigned int)0x480) -#define IA32_VMX_PINBASED_CTLS_MSR ((unsigned int)0x481) -#define IA32_VMX_PROCBASED_CTLS_MSR ((unsigned int)0x482) -#define IA32_VMX_EXIT_CTLS_MSR ((unsigned int)0x483) -#define IA32_VMX_ENTRY_CTLS_MSR ((unsigned int)0x484) -#define IA32_VMX_MISC_MSR ((unsigned int)0x485) -#define IA32_VMX_CR0_FIXED0_MSR ((unsigned int)0x486) -#define IA32_VMX_CR0_FIXED1_MSR ((unsigned int)0x487) -#define IA32_VMX_CR4_FIXED0_MSR ((unsigned int)0x488) -#define IA32_VMX_CR4_FIXED1_MSR ((unsigned int)0x489) -#define IA32_VMX_VMCS_ENUM_MSR ((unsigned ing)0x48A) - -#define VMX_SUCCESS 0 +#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 (1) -#define FEATURE_CONTROL_VMXON (1<<2) -#define FEATURE_CONTROL_VALID ( FEATURE_CONTROL_LOCK | FEATURE_CONTROL_VMXON) - - -#define CPUID_1_ECX_VTXFLAG (1<<5) - - - - - -typedef void VmxOnRegion; - -#if __TINYC__ -#define PACKED -#else -#define PACKED __attribute__((packed)) +#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_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_STARTUP, + VMXASSIST_V8086_BIOS, + VMXASSIST_V8086, + NORMAL +} vmx_state_t; + +struct tss_descriptor { + union { + ulong_t value; + struct { + uint16_t limit1; + uint16_t base1; + uint_t base2 : 8; + /* In IA32, type follows the form 10B1b, where B is the busy flag */ + uint_t type : 4; + uint_t zero1 : 1; + uint_t dpl : 2; + uint_t present : 1; + uint_t limit2 : 4; + uint_t available : 1; + uint_t zero2 : 1; + uint_t zero3 : 1; + uint_t granularity : 1; + uint_t base3 : 8; +#ifdef __V3_64BIT__ + uint32_t base4; + uint_t rsvd1 : 8; + uint_t zero4 : 5; + uint_t rsvd2 : 19; #endif - - -struct MSR_REGS { - uint_t low PACKED; - uint_t high PACKED; -}; - -struct VMX_BASIC { - uint_t revision PACKED ; - uint_t regionSize : 13 PACKED ; - uint_t rsvd1 : 4 PACKED ; // Always 0 - uint_t physWidth : 1 PACKED ; - uint_t smm : 1 PACKED ; // Always 1 - uint_t memType : 4 PACKED ; - uint_t rsvd2 : 10 PACKED ; // Always 0 + } __attribute__((packed)); + } __attribute__((packed)); +}__attribute__((packed)); + +struct vmcs_host_state { + struct v3_segment gdtr; + struct v3_segment idtr; + struct v3_segment tr; }; -union VMX_MSR { - struct MSR_REGS regs PACKED; - struct VMX_BASIC vmxBasic PACKED; -}; - - -struct VMDescriptor { - uint_t entry_ip; - uint_t exit_eip; - uint_t guest_esp; -} ; - - -enum VMState { VM_VMXASSIST_STARTUP, VM_VMXASSIST_V8086_BIOS, VM_VMXASSIST_V8086, VM_NORMAL }; - -struct VM { - enum VMState state; - struct VMXRegs registers; - struct VMDescriptor descriptor; - struct VMCSData vmcs; - struct VMCS *vmcsregion; - struct VmxOnRegion *vmxonregion; +struct vmx_data { + vmx_state_t state; + addr_t vmcs_ptr_phys; + struct vmcs_host_state host_state; + /* VMX Control Fields */ + uint32_t pinbased_ctrls; + uint32_t pri_procbased_ctrls; + uint32_t sec_procbased_ctrls; + uint32_t exit_ctrls; + uint32_t entry_ctrls; + uint32_t excp_bitmap; }; @@ -98,20 +136,15 @@ struct Instruction { }; -void DecodeCurrentInstruction(struct VM *vm, struct Instruction *out); - -int is_vmx_capable(); -VmxOnRegion * Init_VMX(); -VmxOnRegion * CreateVmxOnRegion(); +int v3_is_vmx_capable(); +void v3_init_vmx(struct v3_ctrl_ops* vm_ops); -int VMLaunch(struct VMDescriptor *vm); -int Do_VMM(struct VMXRegs regs); - +#endif // ! __V3VEE__ +#endif -#endif