Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...

[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 4a33825..7994cc4 100644 (file)
--- a/palacios/src/palacios/vmm_mem.c
+++ b/palacios/src/palacios/vmm_mem.c
@@ -61,6 +61,7 @@ int v3_init_mem_map(struct v3_vm_info * vm) {
     // There is an underlying region that contains all of the guest memory
     // PrintDebug("Mapping %d pages of memory (%u bytes)\n", (int)mem_pages, (uint_t)info->mem_size);
 
+    // 2MB page alignment needed for 2MB hardware nested paging
     map->base_region.guest_start = 0;
     map->base_region.guest_end = mem_pages * PAGE_SIZE_4KB;
 
@@ -433,7 +434,7 @@ uint32_t v3_get_max_page_size(struct guest_info * core, addr_t fault_addr, uint3
                return -1;
     }
 
-    PrintDebug("%s: page   [%p,%p) contains address\n", __FUNCTION__, (void *)pg_start, (void *)pg_end);
+    //PrintDebug("%s: page   [%p,%p) contains address\n", __FUNCTION__, (void *)pg_start, (void *)pg_end);
 
     pg_next_reg = v3_get_next_mem_region(core->vm_info, core->cpu_id, pg_start);
 
@@ -444,8 +445,8 @@ uint32_t v3_get_max_page_size(struct guest_info * core, addr_t fault_addr, uint3
 
     if (pg_next_reg->flags.base == 1) {
        page_size = req_size; // State A
-       PrintDebug("%s: base region [%p,%p) contains page.\n", __FUNCTION__,
-                  (void *)pg_next_reg->guest_start, (void *)pg_next_reg->guest_end);
+       //PrintDebug("%s: base region [%p,%p) contains page.\n", __FUNCTION__,
+       //         (void *)pg_next_reg->guest_start, (void *)pg_next_reg->guest_end);
     } else {
 #if 0       // State B/C and D optimization
        if ((pg_next_reg->guest_end >= pg_end) &&