X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fmmu%2Fvmm_shdw_pg_tlb_64.h;h=0a8bc6dcd828309e93dddeeadcb0b3494b72608a;hp=334c675118807fa5198574cf28e39de4d60e91c3;hb=6d3926e16dc1ba6ca0144e65b737e432c48aaa91;hpb=9e70ba8a6d2bae61d62c99cbab56753cf1440716

diff --git a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h
index 334c675..0a8bc6d 100644
--- a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h
+++ b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h
@@ -778,9 +778,6 @@ static int invalidation_cb_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;