X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Flwk%2Fpalacios.h;h=f17f08f22fa5d72a009450b661be893ea575ea72;hb=e05033e42323e92783e8c93d77c0e4be63761667;hp=599b6c6ca5fbb3661a4e1a6f1c0c9152fcff9350;hpb=ed150072069816c4f34cd7b9e129752a6e9e71b3;p=palacios.git

diff --git a/kitten/include/lwk/palacios.h b/kitten/include/lwk/palacios.h
index 599b6c6..f17f08f 100644
--- a/kitten/include/lwk/palacios.h
+++ b/kitten/include/lwk/palacios.h
@@ -5,10 +5,32 @@
 
 #ifdef CONFIG_V3VEE
 
+#include <lwk/types.h>
 #include <palacios/vmm.h>
+#include <palacios/vmm_host_events.h>
 
+
+
+extern int
+RunVMM( void );
+
+extern struct v3_os_hooks v3vee_os_hooks;
+
+/**** 
+ * 
+ * stubs called by geekos....
+ * 
+ ***/
+extern void Init_Stubs(struct guest_info * info);
+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);
+
+
+/* Location of the ROM Bios and VGA Bios used by palacios */
 extern uint8_t rombios_start, rombios_end;
 extern uint8_t vgabios_start, vgabios_end;
+extern paddr_t initrd_start, initrd_end;
 
 
 /*