X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_32.h;fp=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_32.h;h=a3a3e4aa77cbc74a7f2007f2e72e952458ccf4d9;hb=84373a6580ffe1b3370243112e5a12bf273a63e3;hp=ff421bcd37701cf5fa437cc28ba4c4e3da747a03;hpb=3ccb8fcfd59d6f00e325ec10fa572332e3c952c6;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_direct_paging_32.h b/palacios/src/palacios/vmm_direct_paging_32.h
index ff421bc..a3a3e4a 100644
--- a/palacios/src/palacios/vmm_direct_paging_32.h
+++ b/palacios/src/palacios/vmm_direct_paging_32.h
@@ -88,15 +88,14 @@ static inline int handle_passthrough_pagefault_32(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;
 }