1 /* Copyright (c) 2007,2008 Sandia National Laboratories */
3 #ifndef _LWK_PALACIOS_H_
4 #define _LWK_PALACIOS_H_
8 #include <palacios/vmm.h>
10 extern uint8_t rombios_start, rombios_end;
11 extern uint8_t vgabios_start, vgabios_end;
15 * OS Hooks required to interface with the V3VEE library
21 ) __attribute__((format(printf,1,2)));
28 ) __attribute__((format(printf,1,2)));
35 ) __attribute__((format(printf,1,2)));
39 v3vee_allocate_pages( int num_pages );
43 v3vee_free_page( void * page );
47 v3vee_malloc( unsigned int size );
51 v3vee_free( void * addr );
55 v3vee_paddr_to_vaddr( void * addr );
59 v3vee_vaddr_to_paddr( void * addr );
64 struct guest_info * vm,
76 v3vee_get_cpu_khz( void );
80 v3vee_start_kernel_thread( void );
84 v3vee_yield_cpu( void );
87 #endif // CONFIG_V3VEE