tree e7b5aa27d4b6e4f4bf246d1becb99aeb62fd8642
parent 747461c76beb1856343d5cd16bb7663ed2ebf3da
author Jan Kiszka <jan.kiszka@siemens.com> 1299052571 +0100
committer Marcelo Tosatti <mtosatti@redhat.com> 1300162745 -0300

Synchronize VCPU states before reset

This is required to support keeping VCPU states across a system reset.
If we do not read the current state before the reset,
cpu_synchronize_all_post_reset may write back incorrect state
information.

The first user of this will be MCE MSR synchronization which currently
works around the missing cpu_synchronize_all_states.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>