On Wed, Aug 07, 2013 at 04:13:34AM +0000, Bhushan Bharat-R65777 wrote: > > > + /* used to check for invalidations in progress */ > > + mmu_seq = kvm->mmu_notifier_seq; > > + smp_rmb(); > > Should not the smp_rmb() come before reading kvm->mmu_notifier_seq. No, it should come after, because it is ordering the read of kvm->mmu_notifier_seq before the read of the Linux PTE. Paul. -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
