V3VEE compiles. Segfaults, but the callback structures work.

[palacios.git] / kitten / include / lwk / palacios.h

diff --git a/kitten/include/lwk/palacios.h b/kitten/include/lwk/palacios.h
index 599b6c6..f17f08f 100644 (file)
--- 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;
 
 
 /*