xen/sched: support multiple cpus per scheduling resource
authorJuergen Gross <jgross@suse.com>
Wed, 2 Oct 2019 07:27:40 +0000 (09:27 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 4 Oct 2019 11:01:52 +0000 (13:01 +0200)
commit95111283c19fcdcf1f9ec270ffeb5e236bdc88c0
tree2fae572eaacf10ee7845ca49c00fabc601a339b9
parent2fc63543695827eb36d649fd526d2ac3aa3d3f0b
xen/sched: support multiple cpus per scheduling resource

Prepare supporting multiple cpus per scheduling resource by allocating
the cpumask per resource dynamically.

Modify sched_res_mask to have only one bit per scheduling resource set.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Dario Faggioli <dfaggioli@suse.com>
xen/common/cpupool.c
xen/common/schedule.c
xen/include/xen/sched-if.h