[Xen-changelog] The comment in xen.h on how to obtain current system time was missing

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID 898b5427701cd14e195f3184b4fc3dfdefe6c857
# Parent  790f7a0be478992b6d17caf6f5699a2e9790f065
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@xxxxxxxxxx>

diff -r 790f7a0be478 -r 898b5427701c xen/include/public/xen.h
--- a/xen/include/public/xen.h  Thu Apr 13 09:33:46 2006
+++ b/xen/include/public/xen.h  Thu Apr 13 09:41:53 2006
@@ -286,7 +286,8 @@
     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
      */

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog