]> xenbits.xensource.com Git - xen.git/commit
projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10b2b21) | patch
x86/vtsc: update vcpu_time in hvm_set_guest_time
authorRoger Pau Monné <roger.pau@citrix.com>
Wed, 5 Jun 2013 08:03:08 +0000 (10:03 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 5 Jun 2013 08:03:08 +0000 (10:03 +0200)
commit32c864a35ece2c24a336d183869a546798a4b241
tree0a7d26d188836891e4848ee9c63d203345166cedtree
parent10b2b21a241795394637167bd4b076f2de17741fcommit | diff
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>
xen/arch/x86/hvm/vpt.c diff | blob | blame | history
Xen (staging and unstable) mirror