X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_64.h;h=c42499d37ca0054344eeeaa998e80f8ad8f9f9fa;hb=058a3adde5893927ae056a1d8fbccd5191d2446f;hp=ab82c9ace221e846c61aa7008cc2e693406ca80b;hpb=ff30ed5923877636b2b51bed0349f9b440625137;p=palacios.git

diff --git a/palacios/src/palacios/vmm_direct_paging_64.h b/palacios/src/palacios/vmm_direct_paging_64.h
index ab82c9a..c42499d 100644
--- a/palacios/src/palacios/vmm_direct_paging_64.h
+++ b/palacios/src/palacios/vmm_direct_paging_64.h
@@ -48,8 +48,7 @@ static inline int handle_passthrough_pagefault_64(struct guest_info * info,
 
     struct v3_shadow_region * region =  v3_get_shadow_region(info, fault_addr);
   
-    if ((region == NULL) || 
-	(region->host_type == SHDW_REGION_INVALID)) {
+    if (region == NULL) {
 	PrintError("Invalid region in passthrough page fault 64, addr=%p\n", 
 		   (void *)fault_addr);
 	return -1;