Keyboard: mouse support (buggy) - currently reports mouse as unavailable

Generic: simplified interface

diff --git a/palacios/include/devices/generic.h b/palacios/include/devices/generic.h
index 51bed00..8580086 100644 (file)
--- a/palacios/include/devices/generic.h
+++ b/palacios/include/devices/generic.h
@@ -27,16 +27,14 @@
 
 // A port range is low..high, inclusive, third value is one of the above
 typedef uint_t generic_port_range_type[3];
-// A memory range is low..high, inclusive
+// A memory range is low..high, inclusive, flags
 typedef void *generic_address_range_type[3];
-// An interrupt ory map range is low..high, inclusive
+// An interrupt ory map range is low..high, inclusive, flags
 typedef uint_t generic_irq_range_type[3];
 
+// The lists given are null terminated
 struct vm_device *create_generic(generic_port_range_type    port_ranges[], 
-                                uint_t                     num_port_ranges,
                                 generic_address_range_type addess_ranges[],
-                                uint_t                     num_address_ranges,
-                                generic_irq_range_type     irq_ranges[],
-                                uint_t                     num_irqranges);
+                                generic_irq_range_type     irq_ranges[]);  
 
 #endif

diff --git a/palacios/include/devices/keyboard.h b/palacios/include/devices/keyboard.h
index bd22b44..6c970f5 100644 (file)
--- a/palacios/include/devices/keyboard.h
+++ b/palacios/include/devices/keyboard.h
@@ -8,6 +8,9 @@
 // it wants to inject into the VMM for delivery to a VM
 //
 void deliver_key_to_vmm(uchar_t status, uchar_t scancode);
+// And call this one each streaming mouse event
+// that the VMM should deliver
+void deliver_mouse_to_vmm(uchar_t mouse_packet[3]);
 
 struct vm_device *create_keyboard();