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
   5   return -1;
   6 }
   7
   8
   9
  10
  11
  12
  13 /*
  14  * *
  15  * *
  16  * * 64 bit Page table fault handlers
  17  * *
  18  * *
  19  */
  20
  21 static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) {
  22   pt_access_status_t guest_access;
  23   pt_access_status_t shadow_access;
  24   int ret;
  25   PrintDebug("64 bit shadow page fault\n");
  26
  27   ret = v3_check_guest_pt_32(info, info->shdw_pg_state.guest_cr3, fault_addr, error_code, &guest_access);
  28
  29   PrintDebug("Guest Access Check: %d (access=%d)\n", ret, guest_access);
  30
  31   ret = v3_check_host_pt_32(info->ctrl_regs.cr3, fault_addr, error_code, &shadow_access);
  32
  33   PrintDebug("Shadow Access Check: %d (access=%d)\n", ret, shadow_access);
  34
  35
  36   PrintError("64 bit shadow paging not implemented\n");
  37   return -1;
  38 }
  39
  40
  41 static inline int handle_shadow_invlpg_64(struct guest_info * info, addr_t vaddr) {
  42   PrintError("64 bit shadow paging not implemented\n");
  43   return -1;
  44 }