>>> On 09.09.16 at 18:32, <joao.m.mart...@oracle.com> 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@lists.xen.org https://lists.xen.org/xen-devel
