On Fri, Aug 4, 2017 at 5:01 AM, Dario Faggioli
wrote:
> On Thu, 2017-08-03 at 18:02 -0400, Meng Xu wrote:
>> On Thu, Aug 3, 2017 at 12:03 PM, Dario Faggioli
>> wrote:
>> >
>> > > @@ -702,14 +705,18 @@ int main_sched_rtds(int argc, char
On Thu, 2017-08-03 at 18:02 -0400, Meng Xu wrote:
> On Thu, Aug 3, 2017 at 12:03 PM, Dario Faggioli
> wrote:
> >
> > > @@ -702,14 +705,18 @@ int main_sched_rtds(int argc, char **argv)
> > > int *vcpus = (int *)xmalloc(sizeof(int)); /* IDs of VCPUs
> > > that
> > >
On Thu, Aug 3, 2017 at 12:03 PM, Dario Faggioli
wrote:
> On Tue, 2017-08-01 at 14:33 -0400, Meng Xu wrote:
>> --- a/tools/xl/xl_cmdtable.c
>> +++ b/tools/xl/xl_cmdtable.c
>> @@ -272,12 +272,13 @@ struct cmd_spec cmd_table[] = {
>> { "sched-rtds",
>>
On Tue, 2017-08-01 at 14:33 -0400, Meng Xu wrote:
> --- a/tools/xl/xl_cmdtable.c
> +++ b/tools/xl/xl_cmdtable.c
> @@ -272,12 +272,13 @@ struct cmd_spec cmd_table[] = {
> { "sched-rtds",
> _sched_rtds, 0, 1,
> "Get/set rtds scheduler parameters",
> - "[-d [-v[=VCPUID/all]]