unsigned int cmd;
};
+
+struct v3_debug_event {
+ unsigned int core_id;
+ unsigned int cmd;
+
+};
+
#ifdef __V3VEE__
#include <palacios/vmm_list.h>
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 {
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);
};
struct list_head timer_events;
struct list_head serial_events;
struct list_head console_events;
+ struct list_head debug_events;
};
int v3_init_host_events(struct v3_vm_info * vm);
+int v3_deinit_host_events(struct v3_vm_info * vm);
#define V3_HOST_EVENT_HANDLER(cb) ((union v3_host_event_handler)cb)
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