mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
The comment in xen.h on how to obtain current system time was missing
a right shift by 32 bits. Signed-Off-By: Bruce Rogers <brogers@novell.com>
This commit is contained in:
kaf24@firebug.cl.cam.ac.uk committed
1 parent
a94a960c97
commit
6d847cf8cb
1 file changed
+2
-1
@@ -286,7 +286,8 @@ typedef struct vcpu_time_info {
|
||||
uint64_t system_time; /* Time, in nanosecs, since boot. */
|
||||
/*
|
||||
* Current system time:
|
||||
* system_time + ((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul
|
||||
* system_time +
|
||||
* ((((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul) >> 32)
|
||||
* CPU frequency (Hz):
|
||||
* ((10^9 << 32) / tsc_to_system_mul) >> tsc_shift
|
||||
*/
|
||||
|
||||