4 #include <linux/cdev.h>
5 #include <linux/list.h>
6 #include <linux/sched.h>
7 #include <linux/slab.h>
10 /* Global Control IOCTLs */
11 #define V3_CREATE_GUEST 12
12 #define V3_FREE_GUEST 13
14 #define V3_ADD_MEMORY 50
16 /* VM Specific IOCTLs */
17 #define V3_VM_CONSOLE_CONNECT 20
20 #define V3_VM_PAUSE 23
21 #define V3_VM_CONTINUE 24
23 #define V3_VM_LAUNCH 25
28 #define V3_VM_INSPECT 30
30 #define V3_VM_MOVE_CORE 33
32 #define V3_VM_FB_INPUT (256+1)
33 #define V3_VM_FB_QUERY (256+2)
35 #define V3_VM_HOST_DEV_CONNECT (10244+1)
37 #define V3_VM_KSTREAM_USER_CONNECT (11244+1)
41 unsigned long long size;
44 } __attribute__((packed));
46 struct v3_mem_region {
47 unsigned long long base_addr;
48 unsigned long long num_pages;
49 } __attribute__((packed));
51 struct v3_core_move_cmd{
52 unsigned short vcore_id;
53 unsigned short pcore_id;
54 } __attribute__((packed));
56 struct v3_chkpt_info {
58 char url[256]; /* This might need to be bigger... */
59 } __attribute__((packed));
63 void * trace_malloc(size_t size, gfp_t flags);
64 void trace_free(const void * objp);
76 struct rb_root vm_ctrls;
77 struct list_head exts;
83 // For now MAX_VMS must be a multiple of 8
84 // This is due to the minor number bitmap
89 int palacios_vmm_init( void );
90 int palacios_vmm_exit( void );