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.


87d50edbbb48143bed1defcb30b84d09b33943ff
[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 #define V3_AllocPages(num_pages)                                \
71     ({                                                          \
72         extern struct v3_os_hooks * os_hooks;                   \
73         void * ptr = 0;                                         \
74         if ((os_hooks) && (os_hooks)->allocate_pages) {         \
75             ptr = (os_hooks)->allocate_pages(num_pages);        \
76         }                                                       \
77         ptr;                                                    \
78     })
79
80
81 #define V3_FreePage(page)                               \
82     do {                                                \
83         extern struct v3_os_hooks * os_hooks;           \
84         if ((os_hooks) && (os_hooks)->free_page) {      \
85             (os_hooks)->free_page(page);                \
86         }                                               \
87     } while(0)
88
89
90 #define V3_VAddr(addr) ({                                       \
91             extern struct v3_os_hooks * os_hooks;               \
92             void * var = 0;                                     \
93             if ((os_hooks) && (os_hooks)->paddr_to_vaddr) {     \
94                 var = (os_hooks)->paddr_to_vaddr(addr);         \
95             }                                                   \
96             var;                                                \
97         })
98
99
100 #define V3_PAddr(addr) ({                                       \
101             extern struct v3_os_hooks * os_hooks;               \
102             void * var = 0;                                     \
103             if ((os_hooks) && (os_hooks)->vaddr_to_paddr) {     \
104                 var = (os_hooks)->vaddr_to_paddr(addr);         \
105             }                                                   \
106             var;                                                \
107         })
108
109
110
111 #define V3_Malloc(size) ({                              \
112             extern struct v3_os_hooks * os_hooks;       \
113             void * var = 0;                             \
114             if ((os_hooks) && (os_hooks)->malloc) {     \
115                 var = (os_hooks)->malloc(size);         \
116             }                                           \
117             var;                                        \
118         })
119
120 // We need to check the hook structure at runtime to ensure its SAFE
121 #define V3_Free(addr)                           \
122     do {                                        \
123         extern struct v3_os_hooks * os_hooks;   \
124         if ((os_hooks) && (os_hooks)->free) {   \
125             (os_hooks)->free(addr);             \
126         }                                       \
127     } while (0)
128
129 // uint_t V3_CPU_KHZ();
130 #define V3_CPU_KHZ() ({                                                 \
131             unsigned int khz = 0;                                       \
132             extern struct v3_os_hooks * os_hooks;                       \
133             if ((os_hooks) && (os_hooks)->get_cpu_khz) {                \
134                 khz = (os_hooks)->get_cpu_khz();                        \
135             }                                                           \
136             khz;                                                        \
137         })                                                              \
138         
139
140
141 #define V3_CREATE_THREAD(fn, arg, name)                         \
142     do {                                                        \
143         extern struct v3_os_hooks * os_hooks;                   \
144         if ((os_hooks) && (os_hooks)->start_kernel_thread) {    \
145             (os_hooks)->start_kernel_thread(fn, arg, name);     \
146         }                                                       \
147     } while (0)
148
149
150 #define V3_Hook_Interrupt(irq, opaque) ({                               \
151             int ret = 0;                                                \
152             extern struct v3_os_hooks * os_hooks;                       \
153             if ((os_hooks) && (os_hooks)->hook_interrupt) {             \
154                 ret = (os_hooks)->hook_interrupt(irq, opaque);          \
155             }                                                           \
156             ret;                                                        \
157         })                                                              \
158         
159
160 #define V3_ACK_IRQ(irq)                                         \
161     do {                                                        \
162         extern struct v3_os_hooks * os_hooks;                   \
163         if ((os_hooks) && (os_hooks)->ack_irq) {                \
164             (os_hooks)->ack_irq(irq);                           \
165         }                                                       \
166     } while (0)
167
168
169
170
171
172 /* ** */
173
174 #define V3_ASSERT(x)                                                    \
175     do {                                                                \
176         if (!(x)) {                                                     \
177             PrintDebug("Failed assertion in %s: %s at %s, line %d, RA=%lx\n", \
178                        __func__, #x, __FILE__, __LINE__,                \
179                        (ulong_t) __builtin_return_address(0));          \
180             while(1);                                                   \
181         }                                                               \
182     } while(0)                                                          \
183         
184
185
186
187
188 typedef enum v3_vm_class {V3_INVALID_VM, V3_PC_VM, V3_CRAY_VM} v3_vm_class_t;
189
190
191 // Maybe make this a define....
192 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;
193
194
195 v3_cpu_mode_t v3_get_host_cpu_mode();
196
197 void v3_yield(struct guest_info * info);
198 void v3_yield_cond(struct guest_info * info);
199
200
201 void v3_interrupt_cpu(struct guest_info * vm, int logical_cpu);
202
203 unsigned int v3_get_cpu_id();
204
205 v3_cpu_arch_t v3_get_cpu_type(int cpu_id);
206
207
208 int v3_vm_enter(struct guest_info * info);
209
210
211 #endif //!__V3VEE__
212
213
214
215 struct guest_info;
216
217 /* This will contain function pointers that provide OS services */
218 struct v3_os_hooks {
219     void (*print)(const char * format, ...)
220         __attribute__ ((format (printf, 1, 2)));
221   
222     void *(*allocate_pages)(int numPages);
223     void (*free_page)(void * page);
224
225     void *(*malloc)(unsigned int size);
226     void (*free)(void * addr);
227
228     void *(*paddr_to_vaddr)(void *addr);
229     void *(*vaddr_to_paddr)(void *addr);
230
231     int (*hook_interrupt)(struct guest_info * vm, unsigned int irq);
232
233     int (*ack_irq)(int irq);
234
235     unsigned int (*get_cpu_khz)(void);
236
237     void (*start_kernel_thread)(int (*fn)(void * arg), void * arg, char * thread_name); 
238
239     void (*yield_cpu)(void); 
240
241     void *(*mutex_alloc)(void);
242     void (*mutex_free)(void * mutex);
243     void (*mutex_lock)(void * mutex, int must_spin);
244     void (*mutex_unlock)(void * mutex);
245
246     unsigned int (*get_cpu)(void);
247     void (*interrupt_cpu)(struct guest_info * vm, int logical_cpu);
248     void (*call_on_cpu)(int logical_cpu, void (*fn)(void * arg), void * arg);
249     void (*start_thread_on_cpu)(int logical_cpu, int (*fn)(void * arg), void * arg, char * thread_name);
250 };
251
252
253
254
255
256
257
258 //
259 //
260 // This is the interrupt state that the VMM's interrupt handlers need to see
261 //
262 struct v3_interrupt {
263     unsigned int irq;
264     unsigned int error;
265
266     unsigned int should_ack;  // Should the vmm ack this interrupt, or will
267     // the host OS do it?
268 };
269
270
271
272
273 void Init_V3(struct v3_os_hooks * hooks,  int num_cpus);
274
275
276 int v3_start_vm(struct guest_info * info, unsigned int cpu_mask);
277 struct guest_info * v3_create_vm(void * cfg);
278
279 int v3_deliver_irq(struct guest_info * vm, struct v3_interrupt * intr);
280
281
282
283 #endif