When a vcpu is migrated to another cpu, an unexpected difference in current and previous cpu TSC values can cause a guest to wait indefinitely. A known workaround has been to run kvm with taskset, locking it to a single cpu. This patch modifies the guest viewable TSC so that the TSC is guaranteed to be monotonically increasing. Thanks to Avi Kivity for help in pinpointing this issue and advice for fixing it. Signed-off-by: Leonard Norrgård