int pde_index = PDE32_INDEX(fault_addr);
int pte_index = PTE32_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 32, addr=%p\n",
+ PrintError(info->vm_info, info, "Invalid region in passthrough page fault 32, addr=%p\n",
(void *)fault_addr);
return -1;
}
}
if (v3_gpa_to_hpa(info, fault_addr, &host_addr) == -1) {
- PrintError("Could not translate fault address (%p)\n", (void *)fault_addr);
+ PrintError(info->vm_info, info, "Could not translate fault address (%p)\n", (void *)fault_addr);
return -1;
}