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.


added 64bit bar support to passthrough PCI
[palacios.git] / linux_module / iface-keyed-stream-user.h
1 #ifndef _PALACIOS_KEYED_STREAM_USER_H_
2 #define _PALACIOS_KEYED_STREAM_USER_H_
3
4 /*
5  * Palacios Keyed Stream User Interface
6  * (c) Clint Sbisa, 2011
7  */
8
9
10 // Issue a V3_VM_KSTREAM_USER_CONNECT on the VM to acquire an fd for the device
11
12 // get size of pending request
13 // Note that this is not the wrong ioctl - the connect ioctl applies to the VM device
14 // the following ioctls apply to the FD returned by the connect
15 #define V3_KSTREAM_REQUEST_SIZE_IOCTL  (11244+1)
16 // get the pending request
17 #define V3_KSTREAM_REQUEST_PULL_IOCTL  (11244+2)
18 // push a response to the previously pulled request
19 #define V3_KSTREAM_RESPONSE_PUSH_IOCTL (11244+3)
20
21 #ifdef __KERNEL__
22 #define USER __user
23 #else
24 #define USER
25 #endif
26
27
28 struct palacios_user_keyed_stream_url {
29     uint64_t len;
30     char     url[0];  // len describes it
31 };
32
33
34 //
35 // This structure is used for both requests (kernel->user)
36 // and responses (user->kernel)
37 //
38 struct palacios_user_keyed_stream_op {
39
40     uint64_t len; // total structure length (all)
41
42     int     type; // request or response type
43 #define PALACIOS_KSTREAM_OPEN      1  // not used
44 #define PALACIOS_KSTREAM_CLOSE     2  // not used
45 #define PALACIOS_KSTREAM_OPEN_KEY  3
46 #define PALACIOS_KSTREAM_CLOSE_KEY 4
47 #define PALACIOS_KSTREAM_WRITE_KEY 5
48 #define PALACIOS_KSTREAM_READ_KEY  6
49
50     sint64_t xfer;      // total bytes read or written (request/response)
51
52     void    *user_key;  // user tag for an open key (response)
53
54     uint64_t buf_len;   // buffer len
55     char buf[0];        // expanded as needed (key or valye)
56
57     // The buffer contains the key or the value
58 };
59
60
61
62
63
64 #endif