2 * V3 Control header file
9 #define V3_START_GUEST 10
10 #define V3_STOP_GUEST 11
11 #define V3_CREATE_GUEST 12
12 #define V3_FREE_GUEST 13
15 #define V3_VM_PAUSE 23
16 #define V3_VM_CONTINUE 24
18 #define V3_VM_LAUNCH 25
23 #define V3_ADD_MEMORY 50
25 #define V3_VM_CONSOLE_CONNECT 20
26 #define V3_VM_SERIAL_CONNECT 21
28 #define V3_VM_MOVE_CORE 33
30 static const char * v3_dev = "/dev/v3vee";
33 unsigned long long size;
36 } __attribute__((packed));
39 struct v3_mem_region {
40 unsigned long long base_addr;
41 unsigned long long num_pages;
42 } __attribute__((packed));
45 struct v3_core_move_cmd{
46 unsigned short vcore_id;
47 unsigned short pcore_id;
48 } __attribute__((packed));
51 struct v3_chkpt_info {
53 char url[256]; /* This might need to be bigger... */
54 } __attribute__((packed));