palacios/include/palacios/vm_guest.h

   1 #ifndef __VM_GUEST_H
   2 #define __VM_GUEST_H
   3
   4 #ifdef __V3VEE__
   5
   6
   7 #include <palacios/vmm_mem.h>
   8 #include <palacios/vmm_types.h>
   9 #include <palacios/vmm_io.h>
  10 #include <palacios/vmm_shadow_paging.h>
  11 #include <palacios/vmm_intr.h>
  12 #include <palacios/vmm_dev_mgr.h>
  13 #include <palacios/vmm_time.h>
  14
  15
  16 typedef ullong_t v3_reg_t;
  17
  18
  19
  20 struct v3_gprs {
  21   v3_reg_t rdi;
  22   v3_reg_t rsi;
  23   v3_reg_t rbp;
  24   v3_reg_t rsp;
  25   v3_reg_t rbx;
  26   v3_reg_t rdx;
  27   v3_reg_t rcx;
  28   v3_reg_t rax;
  29 };
  30
  31
  32 struct v3_ctrl_regs {
  33   v3_reg_t cr0;
  34   v3_reg_t cr2;
  35   v3_reg_t cr3;
  36   v3_reg_t cr4;
  37   v3_reg_t cr8;
  38   v3_reg_t rflags;
  39   v3_reg_t efer;
  40 };
  41
  42
  43 struct v3_segment {
  44   ushort_t selector;
  45   uint_t limit;
  46   ullong_t base;
  47   uint_t type           : 4;
  48   uint_t system         : 1;
  49   uint_t dpl            : 2;
  50   uint_t present        : 1;
  51   uint_t avail          : 1;
  52   uint_t long_mode      : 1;
  53   uint_t db             : 1;
  54   uint_t granularity    : 1;
  55 };
  56
  57
  58 struct v3_segments {
  59   struct v3_segment cs;
  60   struct v3_segment ds;
  61   struct v3_segment es;
  62   struct v3_segment fs;
  63   struct v3_segment gs;
  64   struct v3_segment ss;
  65   struct v3_segment ldtr;
  66   struct v3_segment gdtr;
  67   struct v3_segment idtr;
  68   struct v3_segment tr;
  69 };
  70
  71 struct shadow_page_state;
  72 struct shadow_map;
  73 struct vmm_io_map;
  74
  75
  76 struct vm_ctrl_ops {
  77   int (*raise_irq)(struct guest_info * info, int irq);
  78 };
  79
  80
  81
  82
  83
  84 typedef enum {SHADOW_PAGING, NESTED_PAGING} vmm_paging_mode_t;
  85 typedef enum {REAL, /*UNREAL,*/ PROTECTED, PROTECTED_PAE, LONG, LONG_32_COMPAT, LONG_16_COMPAT} vm_cpu_mode_t;
  86 typedef enum {PHYSICAL_MEM, VIRTUAL_MEM} vm_mem_mode_t;
  87
  88 struct guest_info {
  89   ullong_t rip;
  90
  91   uint_t cpl;
  92
  93   struct shadow_map mem_map;
  94
  95   struct vm_time time_state;
  96
  97   vmm_paging_mode_t shdw_pg_mode;
  98   struct shadow_page_state shdw_pg_state;
  99   addr_t direct_map_pt;
 100   // nested_paging_t nested_page_state;
 101
 102
 103   // This structure is how we get interrupts for the guest
 104   struct vm_intr intr_state;
 105
 106   struct vmm_io_map io_map;
 107   // device_map
 108
 109   struct vmm_dev_mgr  dev_mgr;
 110
 111   vm_cpu_mode_t cpu_mode;
 112   vm_mem_mode_t mem_mode;
 113
 114
 115   struct v3_gprs vm_regs;
 116   struct v3_ctrl_regs ctrl_regs;
 117   struct v3_segments segments;
 118
 119   struct vm_ctrl_ops vm_ops;
 120
 121
 122
 123   void * vmm_data;
 124 };
 125
 126
 127 vm_cpu_mode_t get_cpu_mode(struct guest_info * info);
 128 vm_mem_mode_t get_mem_mode(struct guest_info * info);
 129
 130
 131 void PrintV3Segments(struct guest_info * info);
 132 void PrintV3CtrlRegs(struct guest_info * info);
 133 void PrintV3GPRs(struct guest_info * info);
 134
 135 #endif
 136
 137
 138
 139 #endif