added v3_stop_vm prototype and exported it to the host OS 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 dfe4775..7539d6d 100644 (file)
--- a/palacios/include/palacios/vmm_host_events.h
+++ b/palacios/include/palacios/vmm_host_events.h
@@ -22,22 +22,23 @@
 
 
 struct v3_keyboard_event {
-  unsigned char status;
-  unsigned char scan_code;
+    unsigned char status;
+    unsigned char scan_code;
 };
 
 struct v3_mouse_event {
-  unsigned char data[3];
+    unsigned char data[3];
 };
 
 struct v3_timer_event {
-  unsigned int period_us;
+    unsigned int period_us;
 };
 
 #ifdef __V3VEE__
 
 #include <palacios/vmm_list.h>
 
+struct v3_vm_info;
 
 typedef enum {HOST_KEYBOARD_EVT, 
              HOST_MOUSE_EVT, 
@@ -45,44 +46,44 @@ typedef enum {HOST_KEYBOARD_EVT,
 
 
 union v3_host_event_handler {
-  int (*keyboard_handler)(struct guest_info * info, struct v3_keyboard_event * evt, void * priv_data);
-  int (*mouse_handler)(struct guest_info * info, struct v3_mouse_event * evt, void * priv_data);
-  int (*timer_handler)(struct guest_info * info, struct v3_timer_event * evt, void * priv_data);
+    int (*keyboard_handler)(struct v3_vm_info * vm, struct v3_keyboard_event * evt, void * priv_data);
+    int (*mouse_handler)(struct v3_vm_info * vm, struct v3_mouse_event * evt, void * priv_data);
+    int (*timer_handler)(struct v3_vm_info * vm, struct v3_timer_event * evt, void * priv_data);
 };
 
 
 struct v3_host_event_hook {
-  union v3_host_event_handler cb;
-  void * private_data;
-  struct list_head link;
+    union v3_host_event_handler cb;
+    void * private_data;
+    struct list_head link;
 };
 
 
 
 struct v3_host_events {
-  struct list_head keyboard_events;
-  struct list_head mouse_events;
-  struct list_head timer_events;
+    struct list_head keyboard_events;
+    struct list_head mouse_events;
+    struct list_head timer_events;
 };
 
 
 
-int v3_init_host_events(struct guest_info * info);
+int v3_init_host_events(struct v3_vm_info * vm);
 
 #define V3_HOST_EVENT_HANDLER(cb) ((union v3_host_event_handler)cb)
 
-int v3_hook_host_event(struct guest_info * info, 
+int v3_hook_host_event(struct v3_vm_info * vm, 
                       v3_host_evt_type_t event_type, 
                       union v3_host_event_handler cb, 
                       void * private_data);
 
-#endif // ! __V3VEE__
+#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);
+int v3_deliver_keyboard_event(struct v3_vm_info * vm, struct v3_keyboard_event * evt);
+int v3_deliver_mouse_event(struct v3_vm_info * vm, struct v3_mouse_event * evt);
+int v3_deliver_timer_event(struct v3_vm_info * vm, struct v3_timer_event * evt);