2 * V3 Control header file
10 /* Global Control IOCTLs */
11 #define V3_CREATE_GUEST 12
12 #define V3_FREE_GUEST 13
14 #define V3_ADD_MEMORY 50
15 #define V3_ADD_PCI_HW_DEV 55
16 #define V3_ADD_PCI_USER_DEV 56
18 /* VM Specific IOCTLs */
20 /* VM Specific ioctls */
21 #define V3_VM_CONSOLE_CONNECT 20
22 #define V3_VM_SERIAL_CONNECT 21
23 #define V3_VM_PAUSE 23
24 #define V3_VM_CONTINUE 24
26 #define V3_VM_LAUNCH 25
30 #define V3_VM_SIMULATE 29
31 #define V3_VM_INSPECT 30
32 #define V3_VM_DEBUG 31
35 #define V3_VM_MOVE_CORE 33
38 #define V3_VM_RECEIVE 35
40 #define V3_VM_FB_INPUT 257
41 #define V3_VM_FB_QUERY 258
43 #define V3_VM_HOST_DEV_CONNECT 10245
44 #define V3_VM_KSTREAM_USER_CONNECT 11245
47 static const char * v3_dev = "/dev/v3vee";
50 unsigned long long size;
53 } __attribute__((packed));
56 struct v3_mem_region {
57 unsigned long long base_addr;
58 unsigned long long num_pages;
59 } __attribute__((packed));
62 struct v3_core_move_cmd{
63 unsigned short vcore_id;
64 unsigned short pcore_id;
65 } __attribute__((packed));
71 } __attribute__((packed));
73 struct v3_chkpt_info {
75 char url[256]; /* This might need to be bigger... */
76 } __attribute__((packed));
80 struct v3_hw_pci_dev {
85 } __attribute__((packed));