ia64/xen-unstable

changeset 9698:898b5427701c

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>
author kaf24@firebug.cl.cam.ac.uk
date Thu Apr 13 10:41:53 2006 +0100 (2006-04-13)
parents 790f7a0be478
children 4f0ecc016cd1
files xen/include/public/xen.h
line diff
     1.1 --- a/xen/include/public/xen.h	Thu Apr 13 10:33:46 2006 +0100
     1.2 +++ b/xen/include/public/xen.h	Thu Apr 13 10:41:53 2006 +0100
     1.3 @@ -286,7 +286,8 @@ typedef struct vcpu_time_info {
     1.4      uint64_t system_time;     /* Time, in nanosecs, since boot.    */
     1.5      /*
     1.6       * Current system time:
     1.7 -     *   system_time + ((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul
     1.8 +     *   system_time +
     1.9 +     *   ((((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul) >> 32)
    1.10       * CPU frequency (Hz):
    1.11       *   ((10^9 << 32) / tsc_to_system_mul) >> tsc_shift
    1.12       */