Vcpu state must be set completely before receiving INIT-IPI,SIPI Signed-off-by: Liu Ping Fan <[email protected]> --- kvm.h | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/kvm.h b/kvm.h
index 9c7b0ea..5b3c228 100644
--- a/kvm.h
+++ b/kvm.h
@@ -198,6 +198,7 @@ static inline void cpu_synchronize_post_init(CPUArchState
*env)
{
if (kvm_enabled()) {
kvm_cpu_synchronize_post_init(env);
+ smp_wmb();
}
}
--
1.7.4.4
