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_32pae.h;h=492d5a16e4f3f35febeb3a59f00fbc624da59687;hp=dd2f88b741a4762095cf595362d7c7a340d62f0f;hb=6d3926e16dc1ba6ca0144e65b737e432c48aaa91;hpb=9e70ba8a6d2bae61d62c99cbab56753cf1440716

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
--- 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;