Cleanup and sanity-checking of endianness, dead code, unchecked returns (Coverity...

[palacios.git] / palacios / src / palacios / mmu / vmm_shdw_pg_tlb_32pae.h

diff --git a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32pae.h b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32pae.h
index dd2f88b..492d5a1 100644 (file)
--- a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32pae.h
+++ b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32pae.h
@@ -727,9 +727,6 @@ static int invalidation_cb32pae_64(struct guest_info * info, page_type_t type,
                        if (pdpe->vmm_info == V3_LARGE_PG) {
                                PrintError(info->vm_info, info, "1 Gigabyte pages not supported\n");
                                return -1;
-
-                               pdpe->present = 0;
-                               return 1;
                        }
 
                        return 0;