X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_32pae.h;h=ff526ed1c5ddf08d7bd12d647dbda32a50145791;hb=b65297c305017bb77bdbc6d056702df0565673ad;hp=7396d9bff1184c25ae82be5f9c7310d08cd868bd;hpb=a568601e28c34c590815d1d2a16e85fbca352ebd;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_direct_paging_32pae.h b/palacios/src/palacios/vmm_direct_paging_32pae.h
index 7396d9b..ff526ed 100644
--- a/palacios/src/palacios/vmm_direct_paging_32pae.h
+++ b/palacios/src/palacios/vmm_direct_paging_32pae.h
@@ -103,14 +103,11 @@ static inline int handle_passthrough_pagefault_32pae(struct guest_info * info,
       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;