int pde_index = PDE32PAE_INDEX(fault_addr);
int pte_index = PTE32PAE_INDEX(fault_addr);
- struct v3_mem_region * region = v3_get_mem_region(info->vm_info, info->cpu_id, fault_addr);
+ struct v3_mem_region * region = v3_get_mem_region(info->vm_info, info->vcpu_id, fault_addr);
if (region == NULL) {
PrintError("Invalid region in passthrough page fault 32PAE, addr=%p\n",
return -1;
}
- host_addr = v3_get_shadow_addr(region, info->cpu_id, fault_addr);
-
// Lookup the correct PDPE address based on the PAGING MODE
if (info->shdw_pg_mode == SHADOW_PAGING) {
pdpe = CR3_TO_PDPE32PAE_VA(info->ctrl_regs.cr3);
pte[pte_index].writable = 0;
}
+ if (v3_gpa_to_hpa(info, fault_addr, &host_addr) == -1) {
+ PrintError("Could not translate fault address (%p)\n", (void *)fault_addr);
+ return -1;
+ }
+
pte[pte_index].page_base_addr = PAGE_BASE_ADDR(host_addr);
} else {
return region->unhandled(info, fault_addr, fault_addr, region, error_code);