#include <linux/slab.h>
-#ifdef V3_CONFIG_GRAPHICS_CONSOLE
-#include "palacios-graphics-console.h"
-#endif
-
-#ifdef V3_CONFIG_HOST_DEVICE
-#include "palacios-host-dev.h"
-#endif
-
-
/* Global Control IOCTLs */
#define V3_START_GUEST 10
#define V3_ADD_MEMORY 50
struct rb_root vm_ctrls;
struct list_head exts;
-
-#ifdef V3_CONFIG_GRAPHICS_CONSOLE
- struct palacios_graphics_console graphics_console;
-#endif
-
-#ifdef V3_CONFIG_HOST_DEVICE
- struct palacios_host_dev hostdev;
-#endif
-
-
struct completion start_done;
struct completion thread_done;
-
-
-extern void send_key_to_palacios(unsigned char status, unsigned char scan_code);
-
-
int palacios_vmm_init( void );
int palacios_vmm_exit( void );