X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Flwk%2Fpalacios.h;h=fecaac3e642e65d49f441eb60385c2905c436e3f;hb=c0376861301ad7abd8ded058d3445aa986f827c9;hp=f17f08f22fa5d72a009450b661be893ea575ea72;hpb=3aefb820e651c67fb0654fe1df301c8828dbb35d;p=palacios-OLD.git

diff --git a/kitten/include/lwk/palacios.h b/kitten/include/lwk/palacios.h
index f17f08f..fecaac3 100644
--- a/kitten/include/lwk/palacios.h
+++ b/kitten/include/lwk/palacios.h
@@ -10,9 +10,10 @@
 #include <palacios/vmm_host_events.h>
 
 
+extern void v3vee_init_stubs( struct guest_info * info );
 
 extern int
-RunVMM( void );
+v3vee_run_vmm( void );
 
 extern struct v3_os_hooks v3vee_os_hooks;
 
@@ -21,7 +22,6 @@ 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);