2 * V3 Control header file
9 #define V3_CREATE_GUEST 12
10 #define V3_FREE_GUEST 13
13 /* VM Specific ioctls */
14 #define V3_VM_CONSOLE_CONNECT 20
15 #define V3_VM_SERIAL_CONNECT 21
16 #define V3_VM_PAUSE 23
17 #define V3_VM_CONTINUE 24
19 #define V3_VM_LAUNCH 25
23 #define V3_VM_SIMULATE 29
24 #define V3_VM_INSPECT 30
25 #define V3_VM_DEBUG 31
27 #define V3_ADD_MEMORY 50
29 #define V3_VM_MOVE_CORE 33
32 #define V3_VM_RECEIVE 35
34 #define V3_VM_FB_INPUT 257
35 #define V3_VM_FB_QUERY 258
37 #define V3_VM_HOST_DEV_CONNECT 10245
38 #define V3_VM_KSTREAM_USER_CONNECT 11245
41 static const char * v3_dev = "/dev/v3vee";
44 unsigned long long size;
47 } __attribute__((packed));
50 struct v3_mem_region {
51 unsigned long long base_addr;
52 unsigned long long num_pages;
53 } __attribute__((packed));
56 struct v3_core_move_cmd{
57 unsigned short vcore_id;
58 unsigned short pcore_id;
59 } __attribute__((packed));
65 } __attribute__((packed));
67 struct v3_chkpt_info {
69 char url[256]; /* This might need to be bigger... */
70 } __attribute__((packed));