palacios/include/palacios/vmm_shadow_paging.h

   1 #ifndef __VMM_SHADOW_PAGING_H
   2 #define __VMM_SHADOW_PAGING_H
   3
   4
   5
   6 #include <palacios/vmm_util.h>
   7
   8
   9
  10 #include <palacios/vmm_paging.h>
  11
  12 struct shadow_page_state {
  13
  14   // these two reflect the top-level page directory
  15   // of the guest page table
  16   paging_mode_t           guest_mode;
  17   reg_ex_t                guest_cr3;         // points to guest's current page table
  18
  19   // Should this be here??
  20   reg_ex_t                guest_cr0;
  21
  22   // these two reflect the top-level page directory
  23   // the shadow page table
  24   paging_mode_t           shadow_mode;
  25   reg_ex_t                shadow_cr3;
  26
  27
  28 };
  29
  30
  31
  32
  33
  34
  35 struct guest_info;
  36
  37
  38 int init_shadow_page_state(struct shadow_page_state * state);
  39
  40 // This function will cause the shadow page table to be deleted
  41 // and rewritten to reflect the guest page table and the shadow map
  42 int wholesale_update_shadow_page_state(struct guest_info * guest_info);
  43
  44
  45
  46
  47 #endif