diff options
| author | Roger Pau Monné <roger.pau@citrix.com> | 2013-06-13 11:26:53 +0200 |
|---|---|---|
| committer | Jan Beulich <jbeulich@suse.com> | 2013-06-13 11:26:53 +0200 |
| commit | 3990446a39c17222729437e606f8d10641e3bdda (patch) | |
| tree | 9e11c9b035334086798f15f42523d708c88e3132 /tools/lib/sys_string.h | |
| parent | 0bda88abe18029c2bbe9dc5d07cc706bd775c9b7 (diff) | |
| download | xen-3990446a39c17222729437e606f8d10641e3bdda.tar.gz xen-3990446a39c17222729437e606f8d10641e3bdda.tar.bz2 xen-3990446a39c17222729437e606f8d10641e3bdda.zip | |
x86/vtsc: update vcpu_time in hvm_set_guest_time
When using a vtsc, hvm_set_guest_time changes hvm_vcpu.stime_offset,
which is used in the vcpu time structure to calculate the
tsc_timestamp, so after updating stime_offset we need to propagate the
change to vcpu_time in order for the guest to get the right time if
using the PV clock.
Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: George Dunlap <george.dunlap@eu.citrix.com>
master commit: 32c864a35ece2c24a336d183869a546798a4b241
master date: 2013-06-05 10:03:08 +0200
Diffstat (limited to 'tools/lib/sys_string.h')
0 files changed, 0 insertions, 0 deletions