On Oct 1, 2013, at 5:23 AM, Marcelo Tosatti <mtosa...@redhat.com> wrote:
>> > > Unrelated to this patch: > > If vcpu->mode = OUTSIDE_GUEST_MODE, no IPI is sent > by kvm_flush_remote_tlbs. Yes. > > So how is this supposed to work again? > > /* > * Wait for all vcpus to exit guest mode and/or lockless shadow > * page table walks. > */ On the lockless walking path, we change the vcpu->mode to READING_SHADOW_PAGE_TABLES, so that IPI is needed. Or i missed your question? > kvm_flush_remote_tlbs(kvm); > > Patch looks fine. Thank you, Marcelo! -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
