linux_module/palacios-host-dev.h

   1 /*
   2  * Palacios Host Device Interface + User-space interface
   3  * (c) Peter Dinda, 2011
   4  */
   5
   6 #ifndef __PALACIOS_HOST_DEV_H__
   7 #define __PALACIOS_HOST_DEV_H__
   8
   9 #include <linux/spinlock.h>
  10 #include <linux/list.h>
  11 #include "palacios-host-dev-user.h"
  12
  13 struct v3_guest;
  14
  15 /*
  16    This is the collection of host devices that
  17    a single guest has
  18 */
  19 struct palacios_host_dev {
  20     spinlock_t      lock;
  21     struct list_head devs;
  22 };
  23
  24
  25
  26 int connect_host_dev(struct v3_guest * guest, char *url);
  27
  28 int palacios_init_host_dev( void );
  29
  30
  31 #endif