static inline int handle_passthrough_pagefault_32(struct guest_info * info,
- addr_t fault_addr,
- pf_error_t error_code) {
+ addr_t fault_addr,
+ pf_error_t error_code) {
// Check to see if pde and pte exist (create them if not)
pde32_t * pde = CR3_TO_PDE32_VA(info->ctrl_regs.cr3);
pte32_t * pte = NULL;
if ((region == NULL) ||
(region->host_type == SHDW_REGION_INVALID)) {
- PrintError("Invalid region in passthrough page fault 32PAE, addr=%p\n",
+ PrintError("Invalid region in passthrough page fault 32, addr=%p\n",
(void *)fault_addr);
return -1;
}
PrintError("Unknown Region Type...\n");
return -1;
}
- } else {
- if ( (region->host_type == SHDW_REGION_WRITE_HOOK) &&
- (error_code.write == 1) ) {
- return v3_handle_mem_wr_hook(info, fault_addr, fault_addr, region, error_code);
- } else {
- PrintError("Weird...\n");
- return -1;
- }
}
+
+ if ( (region->host_type == SHDW_REGION_WRITE_HOOK) &&
+ (error_code.write == 1) ) {
+
+ return v3_handle_mem_wr_hook(info, fault_addr, fault_addr, region, error_code);
+ }
+
return 0;
}