X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_handler.h;h=1fdf98c7395ec9b9703678016f19fbb90d82c840;hb=9e9d28b5fe29fcf8fbed010c981254b5e25a6eac;hp=1152b5c5a0db939d634a6622f06cd653f3117d40;hpb=cfcceed5890430afedcc544bd7dbb69e29dfd65a;p=palacios.git

diff --git a/palacios/include/palacios/vmx_handler.h b/palacios/include/palacios/vmx_handler.h
index 1152b5c..1fdf98c 100644
--- a/palacios/include/palacios/vmx_handler.h
+++ b/palacios/include/palacios/vmx_handler.h
@@ -24,6 +24,7 @@
 
 #include <palacios/vm_guest.h>
 
+
 /******************************************/
 /* VMX Intercept Exit Codes               */
 /******************************************/
@@ -197,7 +198,27 @@ struct vmx_exit_idt_vec_info {
     } __attribute__ ((packed));
 } __attribute__ ((packed));
 
-int v3_handle_vmx_exit(struct v3_gprs * gprs, struct guest_info * info, struct v3_ctrl_regs * ctrl_regs);
+
+
+
+struct vmx_exit_info {
+    uint32_t instr_len;
+    uint32_t instr_info;
+
+    uint32_t exit_reason;
+    addr_t exit_qual;
+
+    uint32_t int_info;
+    uint32_t int_err;
+
+    addr_t guest_linear_addr;
+};
+
+
+
+
+
+int v3_handle_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_info);
 const char * v3_vmx_exit_code_to_str(vmx_exit_t exit);
 
 #endif