fixes to the emulator to handle nested paging

[palacios.git] / palacios / src / palacios / vmm_mem.c

diff --git a/palacios/src/palacios/vmm_mem.c b/palacios/src/palacios/vmm_mem.c
index 38eb602..c244793 100644 (file)
--- a/palacios/src/palacios/vmm_mem.c
+++ b/palacios/src/palacios/vmm_mem.c
@@ -264,7 +264,7 @@ addr_t v3_get_shadow_addr(struct v3_shadow_region * reg, addr_t guest_addr) {
         (reg->host_type != SHDW_REGION_INVALID) ) {
        return (guest_addr - reg->guest_start) + reg->host_addr;
     } else {
-       PrintError("MEM Region Invalid\n");
+       PrintDebug("MEM Region Invalid\n");
        return 0;
     }
 }