/* Copyright (c) 2007,2008 Sandia National Laboratories */

#ifndef _LWK_PALACIOS_H_
#define _LWK_PALACIOS_H_

#ifdef CONFIG_V3VEE

#include <lwk/types.h>
#include <palacios/vmm.h>
#include <palacios/vmm_host_events.h>

extern struct guest_info * g_vm_guest;


extern void
v3vee_init_stubs( void );


extern int
v3vee_run_vmm( void );


extern struct v3_os_hooks v3vee_os_hooks;

/**** 
 * 
 * stubs called by geekos....
 * 
 ***/
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;


#endif // CONFIG_V3VEE

#endif