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);
16 * * 64 bit Page table fault handlers
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;
25 PrintDebug("64 bit shadow page fault\n");
27 ret = v3_check_guest_pt_32(info, info->shdw_pg_state.guest_cr3, fault_addr, error_code, &guest_access);
29 PrintDebug("Guest Access Check: %d (access=%d)\n", ret, guest_access);
31 ret = v3_check_host_pt_32(info->ctrl_regs.cr3, fault_addr, error_code, &shadow_access);
33 PrintDebug("Shadow Access Check: %d (access=%d)\n", ret, shadow_access);
36 PrintError("64 bit shadow paging not implemented\n");
41 static inline int handle_shadow_invlpg_64(struct guest_info * info, addr_t vaddr) {
42 PrintError("64 bit shadow paging not implemented\n");