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 #include <palacios/vmm_paging.h>
   8
   9 struct shadow_page_state {
  10
  11   // these two reflect the top-level page directory
  12   // of the guest page table
  13   paging_mode_t           guest_mode;
  14   ullong_t                guest_cr3;         // points to guest's current page table
  15
  16   // Should this be here??
  17   reg_ex_t                guest_cr0;
  18
  19   // these two reflect the top-level page directory
  20   // of the shadow page table
  21   paging_mode_t           shadow_mode;
  22   ullong_t                shadow_cr3;
  23
  24
  25 };
  26
  27
  28
  29 struct guest_info;
  30
  31
  32 int init_shadow_page_state(struct shadow_page_state * state);
  33
  34
  35 addr_t create_new_shadow_pt32(struct guest_info * info);
  36
  37 addr_t setup_shadow_pt32(struct guest_info * info, addr_t virt_cr3);
  38 addr_t setup_shadow_pte32(struct guest_info * info, addr_t pt_host_addr);
  39
  40 int handle_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code);
  41 int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr, pf_error_t error_code);
  42
  43 int handle_shadow_pde32_fault(struct guest_info * info,
  44                               addr_t fault_addr,
  45                               pf_error_t error_code,
  46                               pde32_t * shadow_pde,
  47                               pde32_t * guest_pde);
  48
  49
  50 int handle_shadow_pte32_fault(struct guest_info* info,
  51                               addr_t fault_addr,
  52                               pf_error_t error_code,
  53                               pte32_t * shadow_pte,
  54                               pte32_t * guest_pte);
  55
  56
  57
  58 int handle_shadow_invlpg(struct guest_info * info);
  59
  60 #endif