diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-07-15 17:56:25 +0100 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-07-15 17:56:25 +0100 |
| commit | 991ead8fa2da51235a7e8430cdc41985656d6380 (patch) | |
| tree | d88007e6111c57b9b7efb28785b4364db71eb1e2 /tools/flask/libflask | |
| parent | cd99b8bf59292e3359dc65e32944226181792998 (diff) | |
| download | xen-991ead8fa2da51235a7e8430cdc41985656d6380.tar.gz xen-991ead8fa2da51235a7e8430cdc41985656d6380.tar.bz2 xen-991ead8fa2da51235a7e8430cdc41985656d6380.zip | |
x86: No need to vcpu_update_system_time() on map_vcpu_info().
Also, ensure update_vcpu_system_time() triggers at least once for any
given vcpu, even if the TSC stamp is zero.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
Diffstat (limited to 'tools/flask/libflask')
0 files changed, 0 insertions, 0 deletions