palacios/include/geekos/vmm.h

   1 #ifndef __VMM_H
   2 #define __VMM_H
   3
   4
   5 #include <geekos/ktypes.h>
   6 #include <geekos/string.h>
   7
   8 #include <geekos/vmm_mem.h>
   9
  10
  11 /* utility definitions */
  12 #define PrintDebug(fmt, args...)                        \
  13   do {                                                  \
  14     extern struct vmm_os_hooks * os_hooks;              \
  15     if ((os_hooks) && (os_hooks)->print_debug) {        \
  16       (os_hooks)->print_debug((fmt), ##args);           \
  17     }                                                   \
  18   } while (0)                                           \
  19
  20
  21
  22 #define PrintInfo(fmt, args...)                         \
  23   do {                                                  \
  24     extern struct vmm_os_hooks * os_hooks;              \
  25     if ((os_hooks) && (os_hooks)->print_info) {         \
  26       (os_hooks)->print_info((fmt), ##args);            \
  27     }                                                   \
  28   } while (0)                                           \
  29
  30
  31 #define PrintTrace(fmt, args...)                        \
  32   do {                                                  \
  33     extern struct vmm_os_hooks * os_hooks;              \
  34     if ((os_hooks) && (os_hooks)->print_trace) {        \
  35       (os_hooks)->print_trace((fmt), ##args);           \
  36     }                                                   \
  37   } while (0)                                           \
  38
  39
  40
  41
  42 /* This clearly won't work, we need some way to get a return value out of it */
  43 #define VMMMalloc(size)                                 \
  44   do {                                                  \
  45     extern struct vmm_os_hooks * os_hooks;              \
  46     if ((os_hooks) && (os_hooks)->malloc) {             \
  47       (os_hooks)->malloc(size);                         \
  48     }                                                   \
  49   } while (0)                                           \
  50
  51
  52 // We need to check the hook structure at runtime to ensure its SAFE
  53 #define VMMFree(addr)                                   \
  54   do {                                                  \
  55     extern struct vmm_os_hooks * os_hooks;              \
  56     if ((os_hooks) && (os_hooks)->free) {               \
  57       (os_hooks)->free(addr);                           \
  58     }                                                   \
  59   } while (0)                                           \
  60
  61
  62 /* ** */
  63
  64
  65 #define VMM_INVALID_CPU 0
  66 #define VMM_VMX_CPU 1
  67 #define VMM_SVM_CPU 2
  68
  69
  70
  71 typedef struct guest_info {
  72   ullong_t rip;
  73   ullong_t rsp;
  74
  75   vmm_mem_list_t mem_list;
  76   vmm_mem_layout_t mem_layout;
  77   // device_map
  78
  79   void * vmm_data;
  80 } guest_info_t;
  81
  82
  83
  84 /* We need a memory map and an IO device map */
  85
  86 /* This will contain function pointers that provide OS services */
  87 struct vmm_os_hooks {
  88   void (*print_info)(const char * format, ...);
  89   void (*print_debug)(const char * format, ...);
  90   void (*print_trace)(const char * format, ...);
  91
  92   void *(*Allocate_Pages)(int numPages);
  93   void (*Free_Page)(void * page);
  94
  95   void *(*malloc)(uint_t size);
  96   void (*free)(void * addr);
  97
  98
  99   void (*start_kernel_thread)(); // include pointer to function
 100 };
 101
 102
 103
 104
 105 /* This will contain Function pointers that control the VMs */
 106 struct vmm_ctrl_ops {
 107   int (*init_guest)(struct guest_info* info);
 108   int (*start_guest)(struct guest_info * info);
 109   //  int (*stop_vm)(uint_t vm_id);
 110 };
 111
 112
 113
 114
 115
 116
 117
 118 void Init_VMM(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops);
 119
 120
 121
 122
 123
 124 #endif