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
15 #define V3_ADD_PCI_HW_DEV 55
16 #define V3_ADD_PCI_USER_DEV 56
18 /* VM Specific IOCTLs */
19 #define V3_VM_CONSOLE_CONNECT 20
20 #define V3_VM_STREAM_CONNECT 21
22 #define V3_VM_PAUSE 23
23 #define V3_VM_CONTINUE 24
25 #define V3_VM_LAUNCH 25
29 #define V3_VM_SIMULATE 29
31 #define V3_VM_INSPECT 30
32 #define V3_VM_DEBUG 31
34 #define V3_VM_MOVE_CORE 33
37 #define V3_VM_RECEIVE 35
39 #define V3_VM_FB_INPUT 257
40 #define V3_VM_FB_QUERY 258
42 #define V3_VM_HOST_DEV_CONNECT 10245
44 #define V3_VM_KSTREAM_USER_CONNECT 11245
48 unsigned long long size;
51 } __attribute__((packed));
53 struct v3_mem_region {
54 unsigned long long base_addr;
55 unsigned long long num_pages;
56 } __attribute__((packed));
61 } __attribute__((packed));
63 struct v3_core_move_cmd {
64 unsigned short vcore_id;
65 unsigned short pcore_id;
66 } __attribute__((packed));
68 struct v3_chkpt_info {
70 char url[256]; /* This might need to be bigger... */
71 } __attribute__((packed));
74 struct v3_hw_pci_dev {
79 } __attribute__((packed));
81 struct v3_user_pci_dev {
83 unsigned short vendor_id;
84 unsigned short dev_id;
85 } __attribute__((packed));
89 void * trace_malloc(size_t size, gfp_t flags);
90 void trace_free(const void * objp);
102 struct rb_root vm_ctrls;
103 struct list_head exts;
109 // For now MAX_VMS must be a multiple of 8
110 // This is due to the minor number bitmap
115 int palacios_vmm_init( void );
116 int palacios_vmm_exit( void );
119 // This is how a component finds the proc dir we are using for global state
120 struct proc_dir_entry *palacios_get_procdir(void);
122 // Selected exported stubs, for use in other palacios components, like vnet
123 // The idea is that everything uses the same stubs
124 void palacios_print(const char *fmt, ...);
125 void *palacios_allocate_pages(int num_pages, unsigned int alignment);
126 void palacios_free_pages(void *page_addr, int num_pages);
127 void *palacios_alloc(unsigned int size);
128 void *palacios_alloc_extended(unsigned int size, unsigned int flags);
129 void palacios_free(void *);
130 void *palacios_vaddr_to_paddr(void *vaddr);
131 void *palacios_paddr_to_vaddr(void *paddr);
132 void *palacios_start_kernel_thread(int (*fn)(void * arg), void *arg, char *thread_name);
133 void *palacios_start_thread_on_cpu(int cpu_id, int (*fn)(void * arg), void *arg, char *thread_name);
134 int palacios_move_thread_to_cpu(int new_cpu_id, void *thread_ptr);
135 void palacios_yield_cpu(void);
136 void palacios_yield_cpu_timed(unsigned int us);
137 unsigned int palacios_get_cpu(void);
138 unsigned int palacios_get_cpu_khz(void);
139 void *palacios_mutex_alloc(void);
140 void palacios_mutex_free(void *mutex);
141 void palacios_mutex_lock(void *mutex, int must_spin);
142 void palacios_mutex_unlock(void *mutex);
143 void *palacios_mutex_lock_irqsave(void *mutex, int must_spin);
144 void palacios_mutex_unlock_irqrestore(void *mutex, void *flags);
148 // Palacios Printing Support
150 // These macros affect how palacios_print will generate output
151 // Turn this on for unprefaced output from palacios_print
152 #define V3_PRINTK_OLD_STYLE_OUTPUT 0
153 // Maximum length output from palacios_print
154 #define V3_PRINTK_BUF_SIZE 1024
155 // Turn this on to check if new-style output for palacios_print contains only 7-bit chars
156 #define V3_PRINTK_CHECK_7BIT 1
159 // The following macros are for printing in the linux module itself, even before
160 // Palacios is initialized and after it it deinitialized
161 // All printk's in linux_module use these macros, for easier control
162 #define ERROR(fmt, args...) printk((KERN_ERR "palacios (pcore %u) %s(%d): " fmt), palacios_get_cpu(), __FILE__, __LINE__, ##args)
163 #define WARNING(fmt, args...) printk((KERN_WARNING "palacios (pcore %u): " fmt), palacios_get_cpu(), ##args)
164 #define NOTICE(fmt, args...) printk((KERN_NOTICE "palacios (pcore %u): " fmt), palacios_get_cpu(), ##args)
165 #define INFO(fmt, args...) printk((KERN_INFO "palacios (pcore %u): " fmt), palacios_get_cpu(), ##args)
166 #define DEBUG(fmt, args...) printk((KERN_DEBUG "palacios (pcore %u): " fmt), palacios_get_cpu(), ##args)