[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Xen-devel] Re: [PATCH] Flush stale TLBs
diff -r 5612da277300 xen/arch/x86/mm/shadow/multi.c --- a/xen/arch/x86/mm/shadow/multi.c Mon Oct 29 07:54:17 2007 -0400 +++ b/xen/arch/x86/mm/shadow/multi.c Mon Oct 29 07:56:15 2007 -0400 @@ -3392,6 +3392,20 @@ sh_update_linear_entries(struct vcpu *v) #else #error this should not happen #endif + if ( shadow_mode_external(d) ) + { + /* Having modified the linear pagetable mapping, flush local host TLBs. + * This was not needed when vmenter/vmexit always had the side effect of + * flushing host TLBs but, with SVM ASIDs, it is possible to + * finish this CR3 update, vmenter the guest, vmexit due to a + * page fault, without an intervening host TLB flush. + * Then the page fault code could use the linear pagetable + * to read a top-level shadow page table entry. + * But, without this change, it would fetch the wrong value + * due to a stale TLB. + */ + flush_tlb_local(); + } } _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxxxxxxxx http://lists.xensource.com/xen-devel
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |