updated devices to use new host event interface

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

diff --git a/palacios/include/palacios/vmm_host_events.h b/palacios/include/palacios/vmm_host_events.h
index 7459501..dfe4775 100644 (file)
--- a/palacios/include/palacios/vmm_host_events.h
+++ b/palacios/include/palacios/vmm_host_events.h
@@ -30,9 +30,8 @@ struct v3_mouse_event {
   unsigned char data[3];
 };
 
-
 struct v3_timer_event {
-  
+  unsigned int period_us;
 };
 
 #ifdef __V3VEE__
@@ -70,7 +69,7 @@ struct v3_host_events {
 
 int v3_init_host_events(struct guest_info * info);
 
-#define V3_HOST_EVENT_HANDLER(cb) ((union v3_host_event_callback)cb)
+#define V3_HOST_EVENT_HANDLER(cb) ((union v3_host_event_handler)cb)
 
 int v3_hook_host_event(struct guest_info * info, 
                       v3_host_evt_type_t event_type, 
@@ -79,6 +78,8 @@ int v3_hook_host_event(struct guest_info * info,
 
 #endif // ! __V3VEE__
 
+
+
 int v3_deliver_keyboard_event(struct guest_info * info, struct v3_keyboard_event * evt);
 int v3_deliver_mouse_event(struct guest_info * info, struct v3_mouse_event * evt);
 int v3_deliver_timer_event(struct guest_info * info, struct v3_timer_event * evt);