#ifdef __V3VEE__
-#include <palacios/vm_guest.h>
+
+struct vmx_exit_info;
+struct guest_info;
int v3_init_vmx_io_map(struct guest_info * info);
-int v3_handle_vmx_io_in(struct guest_info * info);
-int v3_handle_vmx_io_ins(struct guest_info * info);
-int v3_handle_vmx_io_out(struct guest_info * info);
-int v3_handle_vmx_io_outs(struct guest_info * info);
+int v3_handle_vmx_io_in(struct guest_info * info, struct vmx_exit_info * exit_info);
+int v3_handle_vmx_io_ins(struct guest_info * info, struct vmx_exit_info * exit_info);
+int v3_handle_vmx_io_out(struct guest_info * info, struct vmx_exit_info * exit_info);
+int v3_handle_vmx_io_outs(struct guest_info * info, struct vmx_exit_info * exit_info);
#endif