xen/sched: modify cpupool_domain_cpumask() to be an unit mask
authorJuergen Gross <jgross@suse.com>
Wed, 2 Oct 2019 07:27:29 +0000 (09:27 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 4 Oct 2019 10:55:45 +0000 (12:55 +0200)
commita9dd180cf8314a2a6b89e279eddbb5701a6152cd
tree9f6cf02b36944cfa04b01d2f0c7798788111f7de
parentf16c4ced3f1b28b6b452f7a40572a4a093efc6ff
xen/sched: modify cpupool_domain_cpumask() to be an unit mask

cpupool_domain_cpumask() is used by scheduling to select cpus or to
iterate over cpus. In order to support scheduling units spanning
multiple cpus rename cpupool_domain_cpumask() to
cpupool_domain_master_cpumask() and let it return a cpumask with only
one bit set per scheduling resource.

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