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
31 #define V3_VM_FB_INPUT 257
32 #define V3_VM_FB_QUERY 258
34 #define V3_VM_HOST_DEV_CONNECT 10245
35 #define V3_VM_KSTREAM_USER_CONNECT 11245
38 static const char * v3_dev = "/dev/v3vee";
41 unsigned long long size;
44 } __attribute__((packed));
47 struct v3_mem_region {
48 unsigned long long base_addr;
49 unsigned long long num_pages;
50 } __attribute__((packed));
53 struct v3_core_move_cmd{
54 unsigned short vcore_id;
55 unsigned short pcore_id;
56 } __attribute__((packed));
62 } __attribute__((packed));
64 struct v3_chkpt_info {
66 char url[256]; /* This might need to be bigger... */
67 } __attribute__((packed));