xen/sched: split schedule_cpu_switch()
authorJuergen Gross <jgross@suse.com>
Wed, 2 Oct 2019 07:27:38 +0000 (09:27 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 4 Oct 2019 11:00:47 +0000 (13:00 +0200)
commit2ea514e1b8c9aafb878e926d6199e93c13fedfb9
tree8b96ecdf8056a1b2929e7a383e2b5fbf5e6f3f5e
parentdad79946e552179cdfec32bf98f62a1f8bc4798e
xen/sched: split schedule_cpu_switch()

Instead of letting schedule_cpu_switch() handle moving cpus from and
to cpupools, split it into schedule_cpu_add() and schedule_cpu_rm().

This will allow us to drop allocating/freeing scheduler data for free
cpus as the idle scheduler doesn't need such data.

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.h