[RFC v2 PATCH 21/21] x86: request TLB flush to slave CPU using NMI

2012-09-06 Thread Tomoki Sekiyama
For slave CPUs, it is inapropriate to request TLB flush using IPI. because the IPI may be sent to a KVM guest when the slave CPU is running the guest with direct interrupt routing. Instead, it registers a TLB flush request in per-cpu bitmask and send a NMI to interrupt execution of the guest.

[RFC v2 PATCH 21/21] x86: request TLB flush to slave CPU using NMI

2012-09-06 Thread Tomoki Sekiyama
For slave CPUs, it is inapropriate to request TLB flush using IPI. because the IPI may be sent to a KVM guest when the slave CPU is running the guest with direct interrupt routing. Instead, it registers a TLB flush request in per-cpu bitmask and send a NMI to interrupt execution of the guest.