Emulated Guest TLB flush IPIs in qemu-kvm

[Hu Yaohui]

Hi all.
If the hardware does not support APIC virtualization: kvm_vcpu_kick sends an
host-IPI to the remote vcpu if that vcpu is in guest mode, a VM-exit
(exit reason: external interrupt) will be triggered due to the host-IPI.
Then on VM-entry (inject_pending_event) the guest-IPI is injected. If
that IPI is a TLB flush IPI,
what will happen if the target vcpu access the stale tlb entry before
the host-IPI arrives?
Thanks for your time!

Best Wishes,
Yaohui Hu
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/