/* External API */
-int v3_hook_io_port(struct guest_info * info, uint_t port,
+int v3_hook_io_port(struct guest_info * info, uint16_t port,
int (*read)(uint16_t port, void * dst, uint_t length, void * priv_data),
int (*write)(uint16_t port, void * src, uint_t length, void * priv_data),
void * priv_data);
-int v3_unhook_io_port(struct guest_info * info, uint_t port);
+int v3_unhook_io_port(struct guest_info * info, uint16_t port);
void * arch_data;
};
-struct v3_io_hook * v3_get_io_hook(struct guest_info * info, uint_t port);
+struct v3_io_hook * v3_get_io_hook(struct guest_info * info, uint16_t port);
void v3_print_io_map(struct guest_info * info);
-
+void v3_refresh_io_map(struct guest_info * info);
void v3_outb(uint16_t port, uint8_t value);