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.


Further changes to support new non-contiguous memory model (checkpointing, vm informa...
[palacios.git] / linux_usr / v3_ctrl.h
1 /* 
2  * V3 Control header file 
3  * (c) Jack lange, 2010
4  */
5
6 #ifndef _v3_ctrl_h
7 #define _v3_ctrl_h
8
9 #include <stdio.h>
10 #include <stdlib.h>
11 #include "ezxml.h"
12
13 /* Global Control IOCTLs */
14 #define V3_CREATE_GUEST 12
15 #define V3_FREE_GUEST 13
16
17 #define V3_ADD_MEMORY 50
18 #define V3_RESET_MEMORY 51
19 #define V3_ADD_PCI_HW_DEV 55
20 #define V3_ADD_PCI_USER_DEV 56
21
22 /* VM Specific IOCTLs */
23
24 /* VM Specific ioctls */
25 #define V3_VM_CONSOLE_CONNECT 20
26 #define V3_VM_SERIAL_CONNECT 21
27 #define V3_VM_PAUSE 23
28 #define V3_VM_CONTINUE 24
29
30 #define V3_VM_LAUNCH 25
31 #define V3_VM_STOP 26
32 #define V3_VM_LOAD 27
33 #define V3_VM_SAVE 28
34 #define V3_VM_SIMULATE 29
35 #define V3_VM_INSPECT 30
36 #define V3_VM_DEBUG 31
37
38
39 #define V3_VM_MOVE_CORE 33
40
41 #define V3_VM_SEND    34
42 #define V3_VM_RECEIVE 35
43
44 #define V3_VM_FB_INPUT 257
45 #define V3_VM_FB_QUERY 258
46
47 #define V3_VM_HOST_DEV_CONNECT 10245
48 #define V3_VM_KSTREAM_USER_CONNECT 11245
49
50
51 static const char * v3_dev = "/dev/v3vee";
52
53 struct v3_guest_img {
54     unsigned long long size;
55     void * guest_data;
56     char name[128];
57 } __attribute__((packed));
58
59
60 struct v3_mem_region {
61     unsigned long long base_addr;
62     unsigned long long num_pages;
63 } __attribute__((packed));
64
65
66 struct v3_core_move_cmd{
67     unsigned short vcore_id;
68     unsigned short pcore_id;
69 } __attribute__((packed));
70
71
72 struct v3_debug_cmd {
73     unsigned int core; 
74     unsigned int cmd;
75 } __attribute__((packed));
76
77 struct v3_chkpt_info {
78     char store[128];
79     char url[256]; /* This might need to be bigger... */
80     unsigned long long opts;
81 #define V3_CHKPT_OPT_NONE         0
82 #define V3_CHKPT_OPT_SKIP_MEM     1  // don't write memory to store
83 #define V3_CHKPT_OPT_SKIP_DEVS    2  // don't write devices to store
84 #define V3_CHKPT_OPT_SKIP_CORES   4  // don't write core arch ind data to store
85 #define V3_CHKPT_OPT_SKIP_ARCHDEP 8  // don't write core arch dep data to store
86 } __attribute__((packed));
87
88
89
90 struct v3_hw_pci_dev {
91     char url[128];
92     unsigned int bus;
93     unsigned int dev;
94     unsigned int func;
95 } __attribute__((packed));
96
97 #define V3VEE_STR "\n\n"                         \
98                   "The V3Vee Project (c) 2012\n" \
99                   "\thttp://v3vee.org\n"         \
100                   "\n\n"
101                    
102 #define v3_usage(fmt, args...)                                \
103 {                                                             \
104     printf(("\nUsage: %s " fmt V3VEE_STR), argv[0], ##args);  \
105     exit(0);                                                  \
106 }
107
108
109 int v3_dev_ioctl (int req, void * arg);
110 int v3_vm_ioctl  (const char * filename,
111                   int req,
112                   void * arg);
113 void * v3_mmap_file (const char * filename, int prot, int flags);
114 int v3_read_file (int fd, int size, unsigned char * buf);
115
116 int launch_vm (const char * filename);
117 int stop_vm   (const char * filename);
118
119 unsigned long v3_hash_buffer (unsigned char * msg, unsigned int len);
120
121 /* XML-related structs */
122 struct cfg_value {
123     char * tag;
124     char * value;
125 };
126
127 struct xml_option {
128     char * tag;
129     ezxml_t location;
130     struct xml_option * next;
131 };
132
133
134 struct file_info {
135     int size;
136     char filename[2048];
137     char id[256];
138 };
139
140 struct mem_file_hdr {
141     unsigned int file_idx;
142     unsigned int file_size;
143     unsigned long long file_offset;
144     unsigned long file_hash;
145 };
146
147
148 #endif