1 /* Copyright (c) 2007,2008 Sandia National Laboratories */
3 #ifndef _LWK_PALACIOS_H_
4 #define _LWK_PALACIOS_H_
9 #include <palacios/vmm.h>
10 #include <palacios/vmm_host_events.h>
12 extern struct guest_info * g_vm_guest;
16 v3vee_init_stubs( void );
20 v3vee_run_vmm( void );
23 extern struct v3_os_hooks v3vee_os_hooks;
27 * stubs called by geekos....
30 void send_key_to_vmm(unsigned char status, unsigned char scancode);
31 void send_mouse_to_vmm(unsigned char packet[3]);
32 void send_tick_to_vmm(unsigned int period_us);
35 /* Location of the ROM Bios and VGA Bios used by palacios */
36 extern uint8_t rombios_start, rombios_end;
37 extern uint8_t vgabios_start, vgabios_end;
38 extern paddr_t initrd_start, initrd_end;
41 #endif // CONFIG_V3VEE