[Xen-devel] [PATCH v4 5/5] x86/time: extend "tsc" param with "stable:socket"

2016-09-14 Thread Joao Martins
Extend the "tsc" boot parameter is to further relax TSC restrictions and allow it to be used on machines that guarantee reliable TSC across sockets. This is up to board manufacturers and there's no way for the OS to probe this property, therefore user needs to explicitly set this option. Also make

Re: [Xen-devel] [PATCH v4 5/5] x86/time: extend "tsc" param with "stable:socket"

2016-09-19 Thread Jan Beulich
>>> On 14.09.16 at 19:37, wrote: > --- a/docs/misc/xen-command-line.markdown > +++ b/docs/misc/xen-command-line.markdown > @@ -270,7 +270,9 @@ If set, override Xen's default choice for the platform > timer. > Having TSC as platform timer requires being explicitly set. This is because > TSC can

Re: [Xen-devel] [PATCH v4 5/5] x86/time: extend "tsc" param with "stable:socket"

2016-09-19 Thread Joao Martins
On 09/19/2016 11:29 AM, Jan Beulich wrote: On 14.09.16 at 19:37, wrote: >> --- a/docs/misc/xen-command-line.markdown >> +++ b/docs/misc/xen-command-line.markdown >> @@ -270,7 +270,9 @@ If set, override Xen's default choice for the platform >> timer. >> Having TSC as platform timer require