Re: [Xen-devel] [PATCH v3 3/6] x86/time: streamline platform time init on plt_update()

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 09.09.16 at 18:32, <joao.m.martins@xxxxxxxxxx> wrote:
> Would that sound reasonable - am I overlooking something? To some extent this
> might also applicable to the general case, although platform timer is now only
> used for initial seeding so probably a non-visible issue.

Wouldn't it already help to simply make TSC a 62- or 63-bit counter,
masking off the high bit(s) during reads?

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel