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 struct guest_gprs {
  11   ullong_t rbx;
  12   ullong_t rcx;
  13   ullong_t rdx;
  14   ullong_t rsi;
  15   ullong_t rdi;
  16   ullong_t rbp;
  17
  18 };
  19
  20
  21
  22 typedef struct guest_info {
  23   ullong_t rip;
  24   ullong_t rsp;
  25
  26   shadow_paging_state_t  shadow_paging_state;
  27
  28   //  vmm_mem_list_t mem_list;
  29   // vmm_mem_layout_t mem_layout;
  30
  31   vmm_io_map_t io_map;
  32   // device_map
  33
  34
  35   struct guest_gprs vm_regs;
  36
  37   void * page_tables;
  38   void * vmm_data;
  39 } guest_info_t;
  40
  41
  42
  43
  44
  45
  46 #endif