diff --git a/vl.c b/vl.c
index b698439370..7e92d55f32 100644
--- a/vl.c
+++ b/vl.c
@@ -3623,6 +3623,8 @@ void qemu_system_reset(void)
     for(re = first_reset_entry; re != NULL; re = re->next) {
         re->func(re->opaque);
     }
+    if (kvm_enabled())
+        kvm_sync_vcpus();
 }
 
 void qemu_system_reset_request(void)