Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


moved host device to extension framework
[palacios.git] / linux_module / palacios.h
index 95f8d90..df9aabe 100644 (file)
@@ -7,13 +7,6 @@
 #include <linux/slab.h>
 
 
-
-
-#ifdef V3_CONFIG_HOST_DEVICE
-#include "palacios-host-dev.h"
-#endif
-
-
 /* Global Control IOCTLs */
 #define V3_START_GUEST 10
 #define V3_ADD_MEMORY 50
@@ -60,12 +53,6 @@ struct v3_guest {
     struct rb_root vm_ctrls;
     struct list_head exts;
 
-
-#ifdef V3_CONFIG_HOST_DEVICE
-    struct palacios_host_dev hostdev;
-#endif
-
-
     struct completion start_done;
     struct completion thread_done;
 
@@ -79,11 +66,6 @@ struct v3_guest {
 
 
 
-
-
-extern void send_key_to_palacios(unsigned char status, unsigned char scan_code);
-
-
 int palacios_vmm_init( void );
 int palacios_vmm_exit( void );