updated devices to use new host event interface

[palacios.git] / geekos / include / geekos / vmm_stubs.h

diff --git a/geekos/include/geekos/vmm_stubs.h b/geekos/include/geekos/vmm_stubs.h
index b56c114..d2d0ce4 100644 (file)
--- a/geekos/include/geekos/vmm_stubs.h
+++ b/geekos/include/geekos/vmm_stubs.h
@@ -49,17 +49,22 @@ int ack_irq(int irq);
 int geekos_hook_interrupt(struct guest_info * info, uint_t irq);
 
 
-unsigned int get_cpu_khz();
-
-void Init_Stubs();
-
-
 
+unsigned int get_cpu_khz();
 
+void Init_Stubs(struct guest_info * info);
 
 
 
 
+/**** 
+ * 
+ * stubs called by geekos....
+ * 
+ ***/
+void send_key_to_vmm(unsigned char status, unsigned char scancode);
+void send_mouse_to_vmm(unsigned char packet[3]);
+void send_tick_to_vmm(unsigned int period_us);
 
 
 #if 0