Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


update to the host OS interface to allow aligned page allocations
[palacios.git] / palacios / include / palacios / vmm.h
1 /*
2  * This file is part of the Palacios Virtual Machine Monitor developed
3  * by the V3VEE Project with funding from the United States National 
4  * Science Foundation and the Department of Energy.  
5  *
6  * The V3VEE Project is a joint project between Northwestern University
7  * and the University of New Mexico.  You can find out more at 
8  * http://www.v3vee.org
9  *
10  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> 
11  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org> 
12  * All rights reserved.
13  *
14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
15  *
16  * This is free software.  You are permitted to use,
17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
18  */
19
20 #ifndef __VMM_H__
21 #define __VMM_H__
22
23
24 //#include <palacios/vm_guest.h>
25 #include <palacios/vmm_mem.h>
26 #include <palacios/vmm_types.h>
27
28 struct guest_info;
29
30
31 #ifdef __V3VEE__
32
33 //#include <palacios/vmm_types.h>
34 #include <palacios/vmm_string.h>
35
36
37 //#include <palacios/vmm_paging.h>
38
39 /* utility definitions */
40
41
42 #define V3_Print(fmt, args...)                                  \
43     do {                                                        \
44         extern struct v3_os_hooks * os_hooks;                   \
45         if ((os_hooks) && (os_hooks)->print) {                  \
46             (os_hooks)->print((fmt), ##args);                   \
47         }                                                       \
48     } while (0) 
49
50
51 #define PrintDebug(fmt, args...)                        \
52     do {                                                \
53         extern struct v3_os_hooks * os_hooks;           \
54         if ((os_hooks) && (os_hooks)->print) {  \
55             (os_hooks)->print((fmt), ##args);   \
56         }                                               \
57     } while (0)                                         
58
59
60 #define PrintError(fmt, args...)                                        \
61     do {                                                                \
62         extern struct v3_os_hooks * os_hooks;                           \
63         if ((os_hooks) && (os_hooks)->print) {                  \
64             (os_hooks)->print("%s(%d): " fmt, __FILE__, __LINE__, ##args); \
65         }                                                               \
66     } while (0)                                         
67
68
69
70 /* 4KB-aligned */
71 #define V3_AllocPages(num_pages)                                        \
72     ({                                                                  \
73         extern struct v3_os_hooks * os_hooks;                           \
74         void * ptr = 0;                                                 \
75         if ((os_hooks) && (os_hooks)->allocate_pages) {                 \
76             ptr = (os_hooks)->allocate_pages(num_pages,PAGE_SIZE_4KB);  \
77         }                                                               \
78         ptr;                                                            \
79     })
80
81
82 #define V3_AllocAlignedPages(num_pages, align)                          \
83     ({                                                                  \
84         extern struct v3_os_hooks * os_hooks;                           \
85         void * ptr = 0;                                                 \
86         if ((os_hooks) && (os_hooks)->allocate_pages) {                 \
87             ptr = (os_hooks)->allocate_pages(num_pages,align);          \
88         }                                                               \
89         ptr;                                                            \
90     })
91
92
93 #define V3_FreePage(page)                               \
94     do {                                                \
95         extern struct v3_os_hooks * os_hooks;           \
96         if ((os_hooks) && (os_hooks)->free_page) {      \
97             (os_hooks)->free_page(page);                \
98         }                                               \
99     } while(0)
100
101
102 #define V3_VAddr(addr) ({                                       \
103             extern struct v3_os_hooks * os_hooks;               \
104             void * var = 0;                                     \
105             if ((os_hooks) && (os_hooks)->paddr_to_vaddr) {     \
106                 var = (os_hooks)->paddr_to_vaddr(addr);         \
107             }                                                   \
108             var;                                                \
109         })
110
111
112 #define V3_PAddr(addr) ({                                       \
113             extern struct v3_os_hooks * os_hooks;               \
114             void * var = 0;                                     \
115             if ((os_hooks) && (os_hooks)->vaddr_to_paddr) {     \
116                 var = (os_hooks)->vaddr_to_paddr(addr);         \
117             }                                                   \
118             var;                                                \
119         })
120
121
122
123 #define V3_Malloc(size) ({                              \
124             extern struct v3_os_hooks * os_hooks;       \
125             void * var = 0;                             \
126             if ((os_hooks) && (os_hooks)->malloc) {     \
127                 var = (os_hooks)->malloc(size);         \
128             }                                           \
129             if (!var) PrintError("MALLOC FAILURE. Memory LEAK!!\n");    \
130             var;                                        \
131         })
132
133 // We need to check the hook structure at runtime to ensure its SAFE
134 #define V3_Free(addr)                           \
135     do {                                        \
136         extern struct v3_os_hooks * os_hooks;   \
137         if ((os_hooks) && (os_hooks)->free) {   \
138             (os_hooks)->free(addr);             \
139         }                                       \
140     } while (0)
141
142 // uint_t V3_CPU_KHZ();
143 #define V3_CPU_KHZ() ({                                                 \
144             unsigned int khz = 0;                                       \
145             extern struct v3_os_hooks * os_hooks;                       \
146             if ((os_hooks) && (os_hooks)->get_cpu_khz) {                \
147                 khz = (os_hooks)->get_cpu_khz();                        \
148             }                                                           \
149             khz;                                                        \
150         })                                                              \
151         
152
153
154 #define V3_CREATE_THREAD(fn, arg, name)                         \
155     do {                                                        \
156         extern struct v3_os_hooks * os_hooks;                   \
157         if ((os_hooks) && (os_hooks)->start_kernel_thread) {    \
158             (os_hooks)->start_kernel_thread(fn, arg, name);     \
159         }                                                       \
160     } while (0)
161
162
163 #define V3_Hook_Interrupt(vm, irq) ({                                   \
164             int ret = 0;                                                \
165             extern struct v3_os_hooks * os_hooks;                       \
166             if ((os_hooks) && (os_hooks)->hook_interrupt) {             \
167                 ret = (os_hooks)->hook_interrupt(vm, irq);              \
168             }                                                           \
169             ret;                                                        \
170         })                                                              \
171         
172
173 #define V3_Get_CPU() ({                                                 \
174             int ret = 0;                                                \
175             extern struct v3_os_hooks * os_hooks;                       \
176             if ((os_hooks) && (os_hooks)->get_cpu) {                    \
177                 ret = (os_hooks)->get_cpu();                            \
178             }                                                           \
179             ret;                                                        \
180         })
181
182 #define V3_Call_On_CPU(cpu, fn, arg)                    \
183     do {                                                \
184         extern struct v3_os_hooks * os_hooks;           \
185         if ((os_hooks) && (os_hooks)->call_on_cpu) {    \
186             (os_hooks)->call_on_cpu(cpu, fn, arg);      \
187         }                                               \
188     } while (0)
189
190
191 #define V3_ACK_IRQ(irq)                                         \
192     do {                                                        \
193         extern struct v3_os_hooks * os_hooks;                   \
194         if ((os_hooks) && (os_hooks)->ack_irq) {                \
195             (os_hooks)->ack_irq(irq);                           \
196         }                                                       \
197     } while (0)
198
199
200
201
202
203 /* ** */
204
205 #define V3_ASSERT(x)                                                    \
206     do {                                                                \
207         if (!(x)) {                                                     \
208             PrintDebug("Failed assertion in %s: %s at %s, line %d, RA=%lx\n", \
209                        __func__, #x, __FILE__, __LINE__,                \
210                        (ulong_t) __builtin_return_address(0));          \
211             while(1);                                                   \
212         }                                                               \
213     } while(0)                                                          \
214
215
216
217
218
219 typedef enum v3_vm_class {V3_INVALID_VM, V3_PC_VM, V3_CRAY_VM} v3_vm_class_t;
220
221
222 // Maybe make this a define....
223 typedef enum v3_cpu_arch {V3_INVALID_CPU, V3_SVM_CPU, V3_SVM_REV3_CPU, V3_VMX_CPU, V3_VMX_EPT_CPU} v3_cpu_arch_t;
224
225
226 v3_cpu_mode_t v3_get_host_cpu_mode();
227
228 void v3_yield(struct guest_info * info);
229 void v3_yield_cond(struct guest_info * info);
230 void v3_print_cond(const char * fmt, ...);
231
232
233 void v3_interrupt_cpu(struct v3_vm_info * vm, int logical_cpu, int vector);
234
235 unsigned int v3_get_cpu_id();
236
237 v3_cpu_arch_t v3_get_cpu_type(int cpu_id);
238
239
240 int v3_vm_enter(struct guest_info * info);
241
242
243 #endif //!__V3VEE__
244
245
246
247 struct v3_vm_info;
248
249 /* This will contain function pointers that provide OS services */
250 struct v3_os_hooks {
251     void (*print)(const char * format, ...)
252         __attribute__ ((format (printf, 1, 2)));
253   
254     void *(*allocate_pages)(int numPages, unsigned int alignment);
255     void (*free_page)(void * page);
256
257     void *(*malloc)(unsigned int size);
258     void (*free)(void * addr);
259
260     void *(*paddr_to_vaddr)(void *addr);
261     void *(*vaddr_to_paddr)(void *addr);
262
263     int (*hook_interrupt)(struct v3_vm_info * vm, unsigned int irq);
264
265     int (*ack_irq)(int irq);
266
267     unsigned int (*get_cpu_khz)(void);
268
269     void (*start_kernel_thread)(int (*fn)(void * arg), void * arg, char * thread_name); 
270
271     void (*yield_cpu)(void); 
272
273     void *(*mutex_alloc)(void);
274     void (*mutex_free)(void * mutex);
275     void (*mutex_lock)(void * mutex, int must_spin);
276     void (*mutex_unlock)(void * mutex);
277
278     unsigned int (*get_cpu)(void);
279     void (*interrupt_cpu)(struct v3_vm_info * vm, int logical_cpu, int vector);
280     void (*call_on_cpu)(int logical_cpu, void (*fn)(void * arg), void * arg);
281     void * (*start_thread_on_cpu)(int cpu_id, int (*fn)(void * arg), void * arg, char * thread_name);
282
283 };
284
285
286 //
287 //
288 // This is the interrupt state that the VMM's interrupt handlers need to see
289 //
290 struct v3_interrupt {
291     unsigned int irq;
292     unsigned int error;
293
294     unsigned int should_ack;  // Should the vmm ack this interrupt, or will
295     // the host OS do it?
296 };
297
298
299
300
301 void Init_V3(struct v3_os_hooks * hooks,  int num_cpus);
302
303
304 int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask);
305 struct v3_vm_info * v3_create_vm(void * cfg);
306
307 int v3_deliver_irq(struct v3_vm_info * vm, struct v3_interrupt * intr);
308
309
310
311 #endif