X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;fp=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=bdf5bb8dac51c56b06004dfd51fba94bb594ed78;hb=1f5b9287e61b8a4164f81e52dccf3ddd59a891f8;hp=7d020535756752d8d125c723154584c835c7b619;hpb=50dd6f837443d6f5a8cfb2410f1f8d95e8367b6a;p=palacios.git

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index 7d02053..bdf5bb8 100644
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -28,6 +28,7 @@
 
 #include <palacios/vmm_types.h>
 #include <palacios/vmcs.h>
+#include <palacios/vmm.h>
 
 // Intel VMX Specific MSRs
 #define VMX_FEATURE_CONTROL_MSR     0x0000003a
@@ -76,7 +77,7 @@ typedef enum {
 
 struct vmx_data {
     vmx_state_t state;
-    struct vmcs_data vmcs;
+    struct vmcs_data* vmcs;
 };
 
 
@@ -94,15 +95,9 @@ struct Instruction {
 
 
 
-int is_vmx_capable();
+int v3_is_vmx_capable();
+void v3_init_vmx(struct v3_ctrl_ops* vm_ops);
 
-VmxOnRegion * Init_VMX();
-VmxOnRegion * CreateVmxOnRegion();
-
-int VMLaunch(struct VMDescriptor *vm);
-
-
-int Do_VMM(struct VMXRegs regs);
 
 
 #endif // ! __V3VEE__