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_32.h;h=d7796e99c49c1b0f05749e8f44e5fff83f652ea0;hp=4940993c90b26da57593823cb8dde2caa6c92a9f;hb=6d3926e16dc1ba6ca0144e65b737e432c48aaa91;hpb=9e70ba8a6d2bae61d62c99cbab56753cf1440716 diff --git a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h index 4940993..d7796e9 100644 --- a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h +++ b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h @@ -745,9 +745,6 @@ static int invalidation_cb32_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;