palacios/include/geekos/vmm_shadow_paging.h

   1 #ifndef __VMM_SHADOW_PAGING_H
   2 #define __VMM_SHADOW_PAGING_H
   3
   4
   5 #include <geekos/vmm_paging.h>
   6
   7 #include <geekos/vmm_util.h>
   8
   9
  10 struct shadow_page_state {
  11
  12   // these two reflect the top-level page directory
  13   // of the guest page table
  14   paging_mode_t           guest_mode;
  15   reg_ex_t                guest_cr3;         // points to guest's current page table
  16
  17   // Should thi sbe here
  18   reg_ex_t                guest_cr0;
  19
  20   // these two reflect the top-level page directory
  21   // the shadow page table
  22   paging_mode_t           shadow_mode;
  23   reg_ex_t                shadow_cr3;
  24
  25
  26 };
  27
  28
  29
  30
  31
  32
  33
  34
  35 #include <geekos/vm_guest.h>
  36 struct guest_info;
  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