>>> On 21.04.15 at 17:22, <dario.faggi...@citrix.com> wrote:
> @@ -409,6 +435,15 @@ rt_init(struct scheduler *ops)
> if ( prv == NULL )
> return -ENOMEM;
>
> + ASSERT( !_cpumask_scratch || nr_rt_ops > 0 );
> +
> + if ( !_cpumask_scratch ) {
Coding style.
> + _cpumask_scratch = xmalloc_array(cpumask_var_t, nr_cpu_ids);
> + if ( _cpumask_scratch == NULL )
Please be consistent - use either ! (as above) or == {NULL,0}.
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
