Hi All, I have a question regarding Guest TLB flush IPI. Supposed we get two vcpus 0 and 1. When vcpu#0 wants to invalidate the tlb entry on vcpu#1. An IPI will be generated by lapic on vcpu#0 by writing to ICR which will cause a vmexit. apic_send_ipi->kvm_irq_delivery_to_apic->kvm_apic_set_irq->__apic_accept_irq In __apic_accept_irq, it will call kvm_make_request, kvm_vcpu_kick. If vcpu#1 in guest mode, how can it receives this IPI immediately, or the stale tlb entry could be accessed. Thanks for your time! Best Wishes, Yaohui Hu -- 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
