added pci passthrough and a few other things

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

diff --git a/palacios/include/palacios/vmm_io.h b/palacios/include/palacios/vmm_io.h
index e2f4be5..1ceff4d 100644 (file)
--- a/palacios/include/palacios/vmm_io.h
+++ b/palacios/include/palacios/vmm_io.h
@@ -38,12 +38,12 @@ void v3_init_io_map(struct guest_info * info);
 
 
 /* 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);
 
 
 
@@ -74,7 +74,7 @@ struct v3_io_map {
     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);