kitten/include/lwk/palacios.h

   1 /* Copyright (c) 2007,2008 Sandia National Laboratories */
   2
   3 #ifndef _LWK_PALACIOS_H_
   4 #define _LWK_PALACIOS_H_
   5
   6 #ifdef CONFIG_V3VEE
   7
   8 #include <lwk/types.h>
   9 #include <palacios/vmm.h>
  10 #include <palacios/vmm_host_events.h>
  11
  12 extern struct guest_info * g_vm_guest;
  13
  14
  15 extern void
  16 v3vee_init_stubs( void );
  17
  18
  19 extern int
  20 v3vee_run_vmm( void );
  21
  22
  23 extern struct v3_os_hooks v3vee_os_hooks;
  24
  25 /****
  26  *
  27  * stubs called by geekos....
  28  *
  29  ***/
  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);
  33
  34
  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;
  39
  40
  41 #endif // CONFIG_V3VEE
  42
  43 #endif