added dedicated debugging framework with associated 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 47c6715..21d4c01 100644 (file)
--- a/palacios/include/palacios/vmm_host_events.h
+++ b/palacios/include/palacios/vmm_host_events.h
@@ -43,9 +43,11 @@ struct v3_console_event {
     unsigned int cmd;
 };
 
-struct v3_packet_event {
-    unsigned char * pkt;
-    unsigned int size;
+
+struct v3_debug_event {
+    unsigned int core_id;
+    unsigned int cmd;
+
 };
 
 #ifdef __V3VEE__
@@ -58,7 +60,8 @@ typedef enum { HOST_KEYBOARD_EVT,
               HOST_MOUSE_EVT, 
               HOST_TIMER_EVT,
               HOST_CONSOLE_EVT,
-              HOST_SERIAL_EVT} v3_host_evt_type_t;
+              HOST_SERIAL_EVT, 
+               HOST_DEBUG_EVT} v3_host_evt_type_t;
 
 
 union v3_host_event_handler {
@@ -67,6 +70,7 @@ union v3_host_event_handler {
     int (*timer_handler)(struct v3_vm_info * vm, struct v3_timer_event * evt, void * priv_data);
     int (*serial_handler)(struct v3_vm_info * vm, struct v3_serial_event * evt, void * priv_data);
     int (*console_handler)(struct v3_vm_info * vm, struct v3_console_event * evt, void * priv_data);
+    int (*debug_handler)(struct v3_vm_info * vm, struct v3_debug_event * evt, void * priv_data);
 };
 
 
@@ -84,6 +88,7 @@ struct v3_host_events {
     struct list_head timer_events;
     struct list_head serial_events;
     struct list_head console_events;
+    struct list_head debug_events;
 };
 
 
@@ -107,6 +112,7 @@ 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);
 int v3_deliver_serial_event(struct v3_vm_info * vm, struct v3_serial_event * evt);
 int v3_deliver_console_event(struct v3_vm_info * vm, struct v3_console_event * evt);
+int v3_deliver_debug_event(struct v3_vm_info * vm, struct v3_debug_event * evt);
 
 
 #endif