palacios/include/palacios/vmm_shadow_paging.h

   1 #ifndef __VMM_SHADOW_PAGING_H
   2 #define __VMM_SHADOW_PAGING_H
   3
   4
   5 #ifdef __V3VEE__
   6
   7 #include <palacios/vmm_util.h>
   8 #include <palacios/vmm_paging.h>
   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   ullong_t                guest_cr3;         // points to guest's current page table
  16
  17   // Should this be here??
  18   ullong_t guest_cr0;
  19
  20   // these two reflect the top-level page directory
  21   // of the shadow page table
  22   paging_mode_t           shadow_mode;
  23   ullong_t                shadow_cr3;
  24
  25
  26 };
  27
  28
  29
  30 struct guest_info;
  31
  32
  33
  34
  35
  36 int init_shadow_page_state(struct guest_info * info);
  37
  38 addr_t create_new_shadow_pt32(struct guest_info * info);
  39
  40 int handle_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code);
  41 int handle_shadow_invlpg(struct guest_info * info);
  42
  43 #endif // ! __V3VEE__
  44
  45 #endif