X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_guest_mem.c;h=ca040f73edd4c16728f43e5811809671fb4e6f8c;hb=c43fab2e53aa1a129a1020410c67de0240369ec0;hp=c88ecd2ab912026f837a5ded0813fced0cccecd3;hpb=52bcd30a848d41e4ad84b237f3f6bec2600da3a9;p=palacios.git

diff --git a/palacios/src/palacios/vm_guest_mem.c b/palacios/src/palacios/vm_guest_mem.c
index c88ecd2..ca040f7 100644
--- a/palacios/src/palacios/vm_guest_mem.c
+++ b/palacios/src/palacios/vm_guest_mem.c
@@ -74,8 +74,7 @@ int guest_pa_to_host_pa(struct guest_info * guest_info, addr_t guest_pa, addr_t
 	return -1;
     }
     
-    if ((shdw_reg->host_type == SHDW_REGION_INVALID) ||
-	(shdw_reg->host_type == SHDW_REGION_FULL_HOOK)) {
+    if (shdw_reg->host_type == SHDW_REGION_FULL_HOOK) {
 	PrintError("In GPA->HPA: Could not find address in shadow map (addr=%p) (reg_type=%s)\n", 
 		   (void *)guest_pa, v3_shdw_region_type_to_str(shdw_reg->host_type));
 	return -1;