X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fmmu%2Fvmm_shdw_pg_tlb_64.h;h=df447142c665d117b749d768dfd33a71e8044d7f;hb=c26a28a0070ca2aeedf58294d274be78d0991b05;hp=cdbb5801d3072662de9150dd674e463111007bb5;hpb=a9a9f61d177898cdc22d3f4b88762d493290a7d4;p=palacios-OLD.git

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 cdbb580..df44714 100644
--- a/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h
+++ b/palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h
@@ -500,7 +500,7 @@ static int handle_pte_shadow_pagefault_64(struct guest_info * info, addr_t fault
 		PrintError("Special Page fault handler returned error for address: %p\n",  (void *)fault_addr);
 		return -1;
 	    }
-	} else {
+	} else if (shdw_reg->flags.write == 1) {
 	    PrintDebug("Shadow PTE Write Error\n");
 	    shadow_pte->writable = guest_pte->writable;
 	}