X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_handler.h;h=956136ec0fb40e8569f4d09990b0ae7579e64ebf;hp=e7871c0ab10cddce9d3ae9e924de106683f56f8e;hb=52a58bb7bdf06ca22ad6883f8095f8aa5ca4b8a4;hpb=a24a1722328a575cec8dd8578902fd0f68c72c1c

diff --git a/palacios/include/palacios/vmx_handler.h b/palacios/include/palacios/vmx_handler.h
index e7871c0..956136e 100644
--- a/palacios/include/palacios/vmx_handler.h
+++ b/palacios/include/palacios/vmx_handler.h
@@ -80,7 +80,7 @@ typedef enum {
     VMEXIT_XSETBV                           = 55
 } vmx_exit_t;
 
-int v3_handle_vmx_exit(struct v3_gprs * gprs);
+int v3_handle_vmx_exit(struct v3_gprs * gprs, struct guest_info * info);
 
 #endif