-/* Northwestern University */
-/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+
+/*
+ * 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 <pdinda@northwestern.edu>
+ * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
+ * All rights reserved.
+ *
+ * Author: Peter Dinda <pdinda@northwestern.edu>
+ * Author: Jack Lange <jarusl@cs.northwestern.edu>
+ *
+ * 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 <palacios/vmm_types.h>
#include <palacios/vmcs.h>
-
-#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 <palacios/vmm.h>
+#include <palacios/vm_guest.h>
+
+// 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;
};
};
-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 v3_update_vmcs_guest_state(struct guest_info * info);
+int v3_update_vmcs_ctrl_fields(struct guest_info * info);
+int v3_update_vmcs_host_state(struct guest_info * info);
-int VMLaunch(struct VMDescriptor *vm);
-int Do_VMM(struct VMXRegs regs);
-
+#endif // ! __V3VEE__
+#endif
-#endif
