Device manager updated with extended save/load model to facilitate devices that need...

[palacios.releases.git] / palacios / src / palacios / vmm_paging.c

diff --git a/palacios/src/palacios/vmm_paging.c b/palacios/src/palacios/vmm_paging.c
index ec91056..417c2f9 100644 (file)
--- a/palacios/src/palacios/vmm_paging.c
+++ b/palacios/src/palacios/vmm_paging.c
@@ -46,7 +46,7 @@ static pt_entry_type_t pte64_lookup(pte64_t * pt, addr_t addr, addr_t * entry);
 
 
 
-#ifndef CONFIG_DEBUG_SHADOW_PAGING
+#ifndef V3_CONFIG_DEBUG_SHADOW_PAGING
 #undef PrintDebug
 #define PrintDebug(fmt, args...)
 #endif
@@ -656,9 +656,11 @@ static pt_entry_type_t pdpe64_lookup(pdpe64_t * pdp, addr_t addr, addr_t * entry
        *entry = 0;
        return PT_ENTRY_NOT_PRESENT;
     } else if (pdpe_entry->large_page) {
-       PrintError("1 Gigabyte pages not supported\n");
-       V3_ASSERT(0);
-       return -1;
+       pdpe64_1GB_t * large_pdp = (pdpe64_1GB_t *)pdpe_entry;
+
+       *entry = BASE_TO_PAGE_ADDR_1GB(large_pdp->page_base_addr);
+
+       return PT_ENTRY_LARGE_PAGE;
     } else {
        *entry = BASE_TO_PAGE_ADDR(pdpe_entry->pd_base_addr);
        return PT_ENTRY_PAGE;