palacios/include/geekos/vm_guest.h

   1 #ifndef __VM_GUEST_H
   2 #define __VM_GUEST_H
   3
   4 #include <geekos/vmm_mem.h>
   5 #include <geekos/ktypes.h>
   6 #include <geekos/vmm_io.h>
   7 //#include <geekos/vmm_paging.h>
   8
   9
  10
  11 struct guest_info;
  12
  13
  14 #include <geekos/vmm_shadow_paging.h>
  15
  16 struct guest_gprs {
  17   ullong_t rbx;
  18   ullong_t rcx;
  19   ullong_t rdx;
  20   ullong_t rsi;
  21   ullong_t rdi;
  22   ullong_t rbp;
  23
  24 };
  25
  26
  27 typedef enum {SHADOW_PAGING, NESTED_PAGING} vm_page_mode_t;
  28 typedef enum {REAL, PROTECTED, PROTECTED_PG, PROTECTED_PAE, PROTECTED_PAE_PG, LONG, LONG_PG} vm_cpu_mode_t;
  29
  30 struct guest_info {
  31   ullong_t rip;
  32   ullong_t rsp;
  33
  34   shadow_map_t mem_map;
  35
  36
  37   vm_page_mode_t page_mode;
  38   struct shadow_page_state  shdw_pg_state;
  39   // nested_paging_t nested_page_state;
  40
  41
  42   vmm_io_map_t io_map;
  43   // device_map
  44
  45   vm_cpu_mode_t cpu_mode;
  46
  47
  48   struct guest_gprs vm_regs;
  49
  50   void * vmm_data;
  51 };
  52
  53
  54
  55
  56 #endif