X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Flwk%2Fpalacios.h;h=270b5385e0f14542de94bc1f75df35b73158ec2f;hb=f31fa47b9cc6f4aaa8d082cc18c0c97f016825e2;hp=fecaac3e642e65d49f441eb60385c2905c436e3f;hpb=be0a259375ebcfe92ab248f37ed2fee7ccb04062;p=palacios.git

diff --git a/kitten/include/lwk/palacios.h b/kitten/include/lwk/palacios.h
index fecaac3..270b538 100644
--- a/kitten/include/lwk/palacios.h
+++ b/kitten/include/lwk/palacios.h
@@ -9,12 +9,17 @@
 #include <palacios/vmm.h>
 #include <palacios/vmm_host_events.h>
 
+extern struct guest_info * g_vm_guest;
+
+
+extern void
+v3vee_init_stubs( void );
 
-extern void v3vee_init_stubs( struct guest_info * info );
 
 extern int
 v3vee_run_vmm( void );
 
+
 extern struct v3_os_hooks v3vee_os_hooks;
 
 /**** 
@@ -33,79 +38,6 @@ extern uint8_t vgabios_start, vgabios_end;
 extern paddr_t initrd_start, initrd_end;
 
 
-/*
- * OS Hooks required to interface with the V3VEE library
- */
-extern void
-v3vee_print_config(
-	const char * fmt,
-	...
-) __attribute__((format(printf,1,2)));
-
-
-extern void
-v3vee_print_debug(
-	const char * fmt,
-	...
-) __attribute__((format(printf,1,2)));
-
-
-extern void
-v3vee_print_trace(
-	const char * fmt,
-	...
-) __attribute__((format(printf,1,2)));
-
-
-extern void *
-v3vee_allocate_pages( int num_pages );
-
-
-extern void
-v3vee_free_page( void * page );
-
-
-extern void *
-v3vee_malloc( unsigned int size );
-
-
-extern void
-v3vee_free( void * addr );
-
-
-extern void *
-v3vee_paddr_to_vaddr( void * addr );
-
-
-extern void *
-v3vee_vaddr_to_paddr( void * addr );
-
-
-extern int
-v3vee_hook_interrupt(
-	struct guest_info *	vm,
-	unsigned int		irq
-);
-
-
-extern int
-v3vee_ack_irq(
-	int			irq
-);
-
-
-unsigned int
-v3vee_get_cpu_khz( void );
-
-
-void
-v3vee_start_kernel_thread( void );
-
-
-void
-v3vee_yield_cpu( void );
-
-
 #endif // CONFIG_V3VEE
 
 #endif