Added shadow page handling, IO and MSR bitmap allocation, and started

[palacios.git] / palacios / include / palacios / vmx_handler.h

diff --git a/palacios/include/palacios/vmx_handler.h b/palacios/include/palacios/vmx_handler.h
index e7871c0..956136e 100644 (file)
--- 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