Prev: linux-next: Tree for July 2 (touchscreen/ad7879)
Next: xstat: Implement a requestable extra result to procure some inode flags [ver #4]
From: Marcelo Tosatti on 2 Jul 2010 13:30 On Thu, Jul 01, 2010 at 09:55:56PM +0800, Xiao Guangrong wrote: > Combine guest pte read between guest pte walk and pte prefetch > > Signed-off-by: Xiao Guangrong <xiaoguangrong(a)cn.fujitsu.com> > --- > arch/x86/kvm/paging_tmpl.h | 48 ++++++++++++++++++++++++++++++------------- > 1 files changed, 33 insertions(+), 15 deletions(-) Can't do this, it can miss invlpg: vcpu0 vcpu1 read guest ptes modify guest pte invlpg instantiate stale guest pte See how the pte is reread inside fetch with mmu_lock held. Otherwise the patchset looks fine to me. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo(a)vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/ |