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 #include <geekos/vmm_shadow_paging.h>
   9
  10
  11 struct guest_gprs {
  12   ullong_t rbx;
  13   ullong_t rcx;
  14   ullong_t rdx;
  15   ullong_t rsi;
  16   ullong_t rdi;
  17   ullong_t rbp;
  18
  19 };
  20
  21
  22 typedef enum {SHADOW_PAGING, NESTED_PAGING} vm_page_mode_t;
  23 typedef enum {REAL, PROTECTED, PROTECTED_PG, PROTECTED_PAE, PROTECTED_PAE_PG, LONG, LONG_PG} vm_cpu_mode_t;
  24
  25 typedef struct guest_info {
  26   ullong_t rip;
  27   ullong_t rsp;
  28
  29   shadow_map_t mem_map;
  30
  31
  32   vm_page_mode_t page_mode;
  33   shadow_page_state_t  shadow_page_state;
  34   // nested_paging_t nested_page_state;
  35
  36
  37   vmm_io_map_t io_map;
  38   // device_map
  39
  40   vm_cpu_mode_t cpu_mode;
  41
  42
  43   struct guest_gprs vm_regs;
  44
  45   void * vmm_data;
  46 } guest_info_t;
  47
  48
  49
  50
  51 #endif