palacios/src/palacios/vmm_shadow_paging_64.h

   1
   2 static inline int activate_shadow_pt_64(struct guest_info * info) {
   3   struct cr3_64 * shadow_cr3 = (struct cr3_64 *)&(info->ctrl_regs.cr3);
   4   struct cr3_64 * guest_cr3 = (struct cr3_64 *)&(info->shdw_pg_state.guest_cr3);
   5   addr_t shadow_pt = 0;
   6
   7   shadow_pt = create_new_shadow_pt(info);
   8
   9   shadow_cr3->pml4t_base_addr = (addr_t)V3_PAddr((void *)(addr_t)PAGE_BASE_ADDR_4KB(shadow_pt));
  10   PrintDebug("Creating new 64 bit shadow page table %p\n", (void *)BASE_TO_PAGE_ADDR(shadow_cr3->pml4t_base_addr))
  11
  12
  13   shadow_cr3->pwt = guest_cr3->pwt;
  14   shadow_cr3->pcd = guest_cr3->pcd;
  15
  16   return 0;
  17 }
  18
  19
  20
  21
  22
  23
  24 /*
  25  * *
  26  * *
  27  * * 64 bit Page table fault handlers
  28  * *
  29  * *
  30  */
  31 /*
  32 static int handle_2MB_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code,
  33                                        pte64_t * shadow_pt, pde64_2MB_t * large_guest_pde);
  34
  35 static int handle_pte_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code,
  36                                        pte64_t * shadow_pt, pte64_t * guest_pt);
  37
  38 static int handle_pde_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code,
  39                                        pde64_t * shadow_pd, pde64_t * guest_pd);
  40
  41 static int handle_pdpe_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code,
  42                                        pdpe64_t * shadow_pdp, pdpe64_t * guest_pdp);
  43 */
  44
  45 static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) {
  46   /*  pml4e64_t * guest_pml = NULL;
  47   pml4e64_t * shadow_pml = CR3_TO_PML4E64_VA(info->ctrl_regs.cr3);
  48   addr_t guest_cr3 = CR3_TO_PML4E64_PA(info->shdw_pg_state.guest_cr3);
  49   pt_access_status_t guest_pml_access;
  50   pt_access_status_t shadow_pml_access;
  51   pml4e64_t * guest_pmle = NULL;
  52   //  pml4e64_t * shadow_pmle = ;
  53   */
  54
  55
  56
  57   PrintError("64 bit shadow paging not implemented\n");
  58   return -1;
  59 }
  60
  61
  62 static inline int handle_shadow_invlpg_64(struct guest_info * info, addr_t vaddr) {
  63   PrintError("64 bit shadow paging not implemented\n");
  64   return -1;
  65 }