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
  27 #ifdef __V3VEE__
  28
  29 //#include <palacios/vmm_types.h>
  30 #include <palacios/vmm_string.h>
  31
  32
  33 //#include <palacios/vmm_paging.h>
  34
  35 /* utility definitions */
  36
  37 #if VMM_DEBUG
  38 #define PrintDebug(fmt, args...)                        \
  39   do {                                                  \
  40     extern struct vmm_os_hooks * os_hooks;              \
  41     if ((os_hooks) && (os_hooks)->print_debug) {        \
  42       (os_hooks)->print_debug((fmt), ##args);           \
  43     }                                                   \
  44   } while (0)
  45 #else
  46 #define PrintDebug(fmt,args ...)
  47 #endif
  48
  49
  50
  51 #define PrintError(fmt, args...)                                        \
  52   do {                                                                  \
  53     extern struct vmm_os_hooks * os_hooks;                              \
  54     if ((os_hooks) && (os_hooks)->print_debug) {                        \
  55       (os_hooks)->print_debug("%s(%d): " fmt, __FILE__, __LINE__, ##args); \
  56     }                                                                   \
  57   } while (0)
  58
  59
  60
  61 #if VMM_INFO
  62 #define PrintInfo(fmt, args...)                         \
  63   do {                                                  \
  64     extern struct vmm_os_hooks * os_hooks;              \
  65     if ((os_hooks) && (os_hooks)->print_info) {         \
  66       (os_hooks)->print_info((fmt), ##args);            \
  67     }                                                   \
  68   } while (0)
  69 #else
  70 #define PrintInfo(fmt, args...)
  71 #endif
  72
  73
  74 #if VMM_TRACE
  75 #define PrintTrace(fmt, args...)                                        \
  76   do {                                                                  \
  77     extern struct vmm_os_hooks * os_hooks;                              \
  78     if ((os_hooks) && (os_hooks)->print_trace) {                        \
  79       (os_hooks)->print_trace(fmt, ##args);                             \
  80     }                                                                   \
  81   } while (0)
  82 #else
  83 #define PrintTrace(fmt, args...)
  84 #endif
  85
  86
  87 #define V3_AllocPages(num_pages)                        \
  88   ({                                                    \
  89     extern struct vmm_os_hooks * os_hooks;              \
  90     void * ptr = 0;                                     \
  91     if ((os_hooks) && (os_hooks)->allocate_pages) {     \
  92       ptr = (os_hooks)->allocate_pages(num_pages);      \
  93     }                                                   \
  94     ptr;                                                \
  95   })                                                    \
  96
  97
  98 #define V3_FreePage(page)                       \
  99   do {                                          \
 100     extern struct vmm_os_hooks * os_hooks;      \
 101     if ((os_hooks) && (os_hooks)->free_page) {  \
 102       (os_hooks)->free_page(page);              \
 103     }                                           \
 104   } while(0)                                    \
 105
 106
 107
 108
 109 #define V3_Malloc(size) ({                      \
 110       extern struct vmm_os_hooks * os_hooks;    \
 111       void * var = 0;                           \
 112       if ((os_hooks) && (os_hooks)->malloc) {   \
 113         var = (os_hooks)->malloc(size);         \
 114       }                                         \
 115       var;                                      \
 116     })
 117
 118 // We need to check the hook structure at runtime to ensure its SAFE
 119 #define V3_Free(addr)                                   \
 120   do {                                                  \
 121     extern struct vmm_os_hooks * os_hooks;              \
 122     if ((os_hooks) && (os_hooks)->free) {               \
 123       (os_hooks)->free(addr);                           \
 124     }                                                   \
 125   } while (0)                                           \
 126
 127
 128 // uint_t V3_CPU_KHZ();
 129 #define V3_CPU_KHZ()                                    \
 130   ({                                                    \
 131     unsigned int khz = 0;                               \
 132     extern struct vmm_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_Hook_Interrupt(irq, opaque)                          \
 142   ({                                                            \
 143     int ret = 0;                                                \
 144     extern struct vmm_os_hooks * os_hooks;                      \
 145     if ((os_hooks) && (os_hooks)->hook_interrupt) {             \
 146       ret = (os_hooks)->hook_interrupt(irq, opaque);            \
 147     }                                                           \
 148     ret;                                                        \
 149   })                                                            \
 150
 151
 152 /* ** */
 153
 154 #define V3_ASSERT(x)                                                    \
 155   do {                                                                  \
 156     if (!(x)) {                                                         \
 157       PrintDebug("Failed assertion in %s: %s at %s, line %d, RA=%lx\n", \
 158                  __func__, #x, __FILE__, __LINE__,                      \
 159                  (ulong_t) __builtin_return_address(0));                \
 160       while(1);                                                         \
 161     }                                                                   \
 162   } while(0)                                                            \
 163
 164
 165
 166
 167 #define VMM_INVALID_CPU 0
 168 #define VMM_VMX_CPU 1
 169 #define VMM_SVM_CPU 2
 170
 171
 172 // Maybe make this a define....
 173 typedef enum v3_cpu_arch {V3_INVALID_CPU, V3_SVM_CPU, V3_SVM_REV3_CPU, V3_VMX_CPU} v3_cpu_arch_t;
 174
 175
 176 #endif //!__V3VEE__
 177
 178
 179
 180 //
 181 //
 182 // This is the interrupt state that the VMM's interrupt handlers need to see
 183 //
 184 struct vmm_intr_state {
 185   unsigned int irq;
 186   unsigned int error;
 187
 188   unsigned int should_ack;  // Should the vmm ack this interrupt, or will
 189                       // the host OS do it?
 190
 191   // This is the value given when the interrupt is hooked.
 192   // This will never be NULL
 193   void * opaque;
 194 };
 195
 196 void deliver_interrupt_to_vmm(struct vmm_intr_state * state);
 197
 198
 199 /* This will contain function pointers that provide OS services */
 200 struct vmm_os_hooks {
 201   void (*print_info)(const char * format, ...);
 202   void (*print_debug)(const char * format, ...);
 203   void (*print_trace)(const char * format, ...);
 204
 205   void *(*allocate_pages)(int numPages);
 206   void (*free_page)(void * page);
 207
 208   void *(*malloc)(unsigned int size);
 209   void (*free)(void * addr);
 210
 211   void *(*paddr_to_vaddr)(void *addr);
 212   void *(*vaddr_to_paddr)(void *addr);
 213
 214   //  int (*hook_interrupt)(struct guest_info *s, int irq);
 215
 216   int (*hook_interrupt)(unsigned int irq, void *opaque);
 217
 218   int (*ack_irq)(int irq);
 219
 220
 221   unsigned int (*get_cpu_khz)();
 222
 223
 224   void (*start_kernel_thread)(); // include pointer to function
 225
 226
 227
 228 };
 229
 230
 231 /* This will contain Function pointers that control the VMs */
 232 struct vmm_ctrl_ops {
 233   struct guest_info *(*allocate_guest)();
 234
 235   int (*config_guest)(struct guest_info * info, void * config_ptr);
 236   int (*init_guest)(struct guest_info * info);
 237   int (*start_guest)(struct guest_info * info);
 238   //  int (*stop_vm)(uint_t vm_id);
 239
 240   int (*has_nested_paging)();
 241
 242   //  v3_cpu_arch_t (*get_cpu_arch)();
 243 };
 244
 245
 246
 247
 248 void Init_V3(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops);
 249
 250
 251
 252
 253
 254 #endif